• 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...
  • APT

  • Referenced in 17 articles [sw23176]
  • Analysis of Petri nets and labeled transition systems. Welcome to APT. The purpose of this ... analysis methods on Petri nets and labeled transition systems. This guide explains the most important...
  • Facile

  • Referenced in 22 articles [sw08679]
  • core subset of Facile using a labeled transition system. Such a semantics is useful...
  • 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...
  • LTSmin

  • Referenced in 18 articles [sw07214]
  • toolset for model checking and manipulating labelled transition systems. LTSmin already connects a sizeable number...
  • AGATHA

  • Referenced in 10 articles [sw02930]
  • using an EIOLTS (Extended Input Output Labeled Transition System) formalism which can be extracted...
  • ACTLW

  • Referenced in 7 articles [sw21031]
  • Model checkers for systems represented by labelled transition systems are not as extensively used...
  • VLTS Benchmark Suite

  • Referenced in 5 articles [sw09810]
  • benchmark suite is a collection of Labelled Transition Systems (hereafter called benchmarks). Each Labelled Transition ... System is a directed, connected graph, whose vertices are called states and whose edges ... transitions. There is one distinguished vertex called the initial state. Each transition is labelled ... transitions (also known as hidden transitions or tau-transitions). The VLTS benchmarks have been obtained...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • exhaustively, the graph (also called labelled transition system, reachability graph, state space, etc.) corresponding...
  • BISIMULATOR

  • Referenced in 7 articles [sw02526]
  • service) by comparing their Labeled Transition Systems (Ltss) modulo a given equivalence relation. Two approaches...
  • GeneSyst

  • Referenced in 5 articles [sw01303]
  • tool to build symbolic labelled transition systems from B specifications. The tool, called GeneSyst...
  • XTL

  • Referenced in 4 articles [sw21954]
  • functional programming language interpreted over LTSs (Labelled Transition Systems) encoded in the BCG (Binary Coded ... graph, print its list of labels, etc. XTL programs are compiled and evaluated...
  • Kami

  • Referenced in 4 articles [sw28644]
  • FPGAs. Our methodology, using labeled transition systems, has been evaluated in a case study verifying...
  • Petrify

  • Referenced in 26 articles [sw09784]
  • transition system (TS). In the initial TS, all transitions with the same label are considered...
  • PIC2LNT

  • Referenced in 2 articles [sw13368]
  • about twenty years ago for describing concurrent systems with mobile communication. The π-calculus ... semantics defined in terms of Ltss (labelled transition systems). Although a lot of theoretical results...
  • SeVe

  • Referenced in 2 articles [sw06547]
  • many applications such as in electronic voting systems or anonymous online transactions. In this paper ... specifying security protocols in the labeled transition system (LTS) semantics model, which embeds the knowledge...
  • WiCcA

  • Referenced in 2 articles [sw09763]
  • tool for generating and operating on labelled transition systems (LTS) that result from wire-calculus...
  • Sigali

  • Referenced in 1 article [sw12303]
  • tool-based which manipulates ILTS: Implicit Labeled Transition Systems (which can be seen...
  • LOEWE

  • Referenced in 2 articles [sw29143]
  • finite state machines, and labelled transition graphs are used for system verification. LOEWE currently contains...
  • JSXM

  • Referenced in 2 articles [sw15041]
  • memory (data) structure and function-labelled transitions. One of the main strengths ... defined conditions, all functional inconsistencies between the system under test and the model are revealed...