
UNITY
 Referenced in 185 articles
[sw13461]
 computational model, specification language and proof system defined by Chandy and Misra ... coupled state transition systems. Mechanical methods for mapping the transition systems first into ... assertions, permitting formal verification of the transition systems, and second into an executable program ... independently verify the correctness of the transition systems: one can specify properties formally that...

CafeOBJ
 Referenced in 171 articles
[sw06232]
 firstorder description of underlying state transition systems. By capturing a set of states...

MANIFOLD
 Referenced in 30 articles
[sw02900]
 transition system semantics for the controldriven coordination language MANIFOLD Coordination languages ... MANIFOLD, based on a twolevel transition system model: the first level is used...

FAST
 Referenced in 38 articles
[sw21268]
 FAST: Fast Acceleration of Symbolic Transition Systems. fast is a tool for the analysis...

mCRL
 Referenced in 31 articles
[sw29626]
 algebraic fashion. It targets the specification of system behaviour in a processalgebraic style ... LPOs. The instantiator generates a labelled transition system (LTS) from an LPO (under the condition...

nuXmv
 Referenced in 28 articles
[sw18526]
 finite and infinitestate synchronous transition systems. nuXmv is the evolution of the nuXmv open...

OFMC
 Referenced in 28 articles
[sw09466]
 demanddriven way, the transition system resulting from an IF specification. OFMC’s effectiveness...

Petrify
 Referenced in 26 articles
[sw09784]
 initial Petri net and produces a transition system (TS). In the initial TS, all transitions...

APT
 Referenced in 17 articles
[sw23176]
 Analysis of Petri nets and labeled transition systems. Welcome to APT. The purpose of this ... methods on Petri nets and labeled transition systems. This guide explains the most important aspects ... Schlachter: Analysis of Petri Nets and Transition Systems. In ICE 2015: 5367; Synthesis...

Maria
 Referenced in 19 articles
[sw04127]
 Maria: Modular reachability analyser for algebraic system nets Maria performs simulation, exhaustive reachability analysis ... level Petri nets and labelled transition systems. Translator programs allow Maria to analyse transition systems...

Facile
 Referenced in 22 articles
[sw08679]
 subset of Facile using a labeled transition system. Such a semantics is useful for reasoning...

LTSmin
 Referenced in 21 articles
[sw07214]
 model checking and manipulating labelled transition systems. LTSmin already connects a sizeable number of existing ... tools benefit from PINS2PINS optimizations, like local transition caching (which speeds up slow state space...

SIGREF
 Referenced in 15 articles
[sw00859]
 enables the handling of very large transition systems. Signatures for the bisimulations are built...

rbminer
 Referenced in 14 articles
[sw00783]
 tool for discovering Petri nets from transition systems The theory of regions was introduced...

Motras
 Referenced in 9 articles
[sw09240]
 Motras: a tool for modal transition systems and their extensions. We present a tool ... modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also nondeterministic...

MSTA
 Referenced in 7 articles
[sw09777]
 MTSA: the modal transition system analyser. Modal transition systems (MTS) are operational models that distinguish ... behaviour models, support reasoning about the intended system behaviour in the presence of incomplete knowledge ... construction, analysis and elaboration of Modal Transition Systems...

CheckVML
 Referenced in 12 articles
[sw09472]
 tool independent abstract representation of transition systems defined by a corresponding metamodel. From this intermediate...

Mcmt
 Referenced in 24 articles
[sw11911]
 checker for safety properties of infinite state systems whose state variables are arrays. Theories specify ... arrays. Sets of states and transitions of a system are described by quantified firstorder...

APMC
 Referenced in 28 articles
[sw11483]
 verification of probabilistic systems. However, the representation of the transition matrix may be expensive...

ACTLW
 Referenced in 7 articles
[sw21031]
 checkers for systems represented by labelled transition systems are not as extensively used as those ... systems represented by Kripke structures. This is partially due to the lack of an elegant ... Vaandrager, Action versus logics for transition systems, in: Semantics of Systems of Concurrent Processes, Proceedings...