# transition systems

### Clock Transition Systems

**Transition**

**Systems**[12] but with only integer variables and with high level functions, its semantics is a Timed

**Transition**

**Systems**[13] and we called it Clock

**Transition**System ...

20

### Symbolic execution of transition systems with function summaries

**Transition**

**Systems**, Functions sum- maries, Symbolic Execution,

**Transition**...labeled

**transition**

**systems**, namely Input Output Symbolic

**Transition**

**Systems**(IOSTS) ...

19

### Event algebra for transition systems composition Application to timed automata

**transition**

**systems**composition application to timed automata Elie Fares 1 • Jean-Paul Bodeveix1G) · Mamoun Filali 2 Abstract Formal specification languages bave a lot of notions in ...labelled ...

39

### A Verification Toolkit for Numerical Transition Systems Tool Paper ⋆

**systems**whose

**transition**relation is expressed in Presburger ...Numerical

**Transition**

**Systems**, (denoted INTS throughout this pa- per), also known as counter automata, counter

**systems**, ...

8

### Lazy Parallel Synchronous Composition of In finite Transition Systems

**transition**

**systems**, their composition is the synchronized product of the tran- sition ...the

**transition**

**systems**have an infinite number of ...

17

### Bisimulations up-to: beyond first-order transition systems

23

### Parametric and Quantitative Extensions of Modal Transition Systems

**systems**: logical approaches where a speciﬁcation is a set of properties of implementations (labeled

**transition**

**systems**), and graphical approaches promoted by the various process algebras, ...

16

### Distances for Weighted Transition Systems: Games and Properties

**transition**

**systems**with quan- titative information. Taking as starting point an arbitrary distance on system ...

15

### General quantitative specification theories with modal transition systems

**transition**

**systems**[30– 32, 36, 40], which are labeled

**transition**

**systems**equipped with two types of transi- tions: must transitions that are mandatory for any implementation, and may ...

38

### Metrics for weighted transition systems: Axiomatization and complexity

**systems**are inequiv- alent. In this paper, we consider the general ...

21

### Blending Timed Formal Models with Clock Transition Systems

**transition**

**systems**allowing to give the formal semantics of a real-time system as a set of timed execution ...classical

**transition**

**systems**by assuming that all discrete transitions ...

16

### A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic

**Transition**

**Systems**(STS), a mixed speciﬁcation model supporting the integration of fully formal data types into ...Labelled

**Transition**

**Systems**...

43

### Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

**Transition**

**Systems**, Program Con- tracts, Model-based Testing, Symbolic Execution, ...Symbolic

**transition**

**systems**, such as Input Output Symbolic

**Transition**

**Systems**...

17

### Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

**Transition**

**Systems**, Program Con- tracts, Model-based Testing, Symbolic Execution, ...Symbolic

**transition**

**systems**, such as Input Output Symbolic

**Transition**

**Systems**...

17

### A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology

**transition**

**systems**operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear ...constrained

**transition**

**systems**; we illustrate ...

33

### Event Algebra for Transition Systems Composition - Application to Timed Automata

**transition**

**systems**...timed

**transition**

**systems**[11] that both capture the time addition or the semantic model of [19] used to model the ...

9

### Event Algebra for Transition Systems Composition - Application to Timed Automata

**transition**

**systems**based on the composition of their ...labeled

**transition**

**systems**which describe the common semantic domain of the considered ...

10

### Event algebra for transition systems composition Application to timed automata

40

### Weighted modal transition systems

**transition**system for- malism, simply as specifications without may ...labeled

**transition**

**systems**. Formally, for a labeled

**transition**system to be an implementation of a given spec- ...

30

### Quantitative Modal Transition Systems

**transition**

**systems**remain quali- ...modal

**transition**

**systems**is qualitative in nature, ...of

**systems**by models, com- bined with the fundamental unpredictability of hardware ...

11