• 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]
  • first-order description of underlying state transition systems. By capturing a set of states...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • transition system semantics for the control-driven coordination language MANIFOLD Coordination languages ... MANIFOLD, based on a two-level 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 process-algebraic style ... LPOs. The instantiator generates a labelled transition system (LTS) from an LPO (under the condition...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • finite- and infinite-state synchronous transition systems. nuXmv is the evolution of the nuXmv open...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • demand-driven 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: 53-67; 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 non-deterministic...
  • 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 first-order...
  • 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...