• Aucun résultat trouvé

transition systems

Clock Transition Systems

Clock Transition Systems

... Clocked 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

Symbolic execution of transition systems with function summaries

... Symbolic 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

Event algebra for transition systems composition Application to timed automata

... for 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 ⋆

A Verification Toolkit for Numerical Transition Systems Tool Paper ⋆

... on 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

Lazy Parallel Synchronous Composition of In finite Transition Systems

... as 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

Bisimulations up-to: beyond first-order transition systems

... This problem has been the motivation for the development of a theory of en- hancements, summarised in [18]. Expressed in the general fixed-point theory on complete lattices, this theory has been fully developed for both ...

23

Parametric and Quantitative Extensions of Modal Transition Systems

Parametric and Quantitative Extensions of Modal Transition Systems

... concurrent systems: logical approaches where a specification 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

Distances for Weighted Transition Systems: Games and Properties

... Denmark {crt,kgl}@cs.aau.dk We develop a general framework for reasoning about distances between transition systems with quan- titative information. Taking as starting point an arbitrary distance on system ...

15

General quantitative specification theories with modal transition systems

General quantitative specification theories with modal transition systems

... modal 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

Metrics for weighted transition systems: Axiomatization and complexity

... Abstract Simulation distances are essentially an approximation of simulation which provide a measure of the extent by which behaviors in systems are inequiv- alent. In this paper, we consider the general ...

21

Blending Timed Formal Models with Clock Transition Systems

Blending Timed Formal Models with Clock Transition Systems

... timed 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

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

... Symbolic Transition Systems (STS), a mixed specification 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

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

... Symbolic 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

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

... Symbolic 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

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

... real 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

Event Algebra for Transition Systems Composition - Application to Timed Automata

... labeled 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

Event Algebra for Transition Systems Composition - Application to Timed Automata

... extended 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

Event algebra for transition systems composition Application to timed automata

... In this section, we show how the previous semantic constructions could be generalized by attaching behaviors to label structures. Up to now, a label structure defines how labels are composed and consequently how labelled ...

40

Weighted modal transition systems

Weighted modal transition systems

... modal 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

Quantitative Modal Transition Systems

... modal transition systems remain quali- ...modal transition systems is qualitative in nature, ...of systems by models, com- bined with the fundamental unpredictability of hardware ...

11

Show all 8401 documents...

Sujets connexes