• TAME

  • Referenced in 5 articles [sw28703]
  • special-purpose theorem proving. TAME (Timed Automata Modeling Environment), an interface to the theorem proving ... three classes of automata: I/O automata, Lynch-Vaandrager timed automata, and SCR automata. TAME provides...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • ECDAR

  • Referenced in 11 articles [sw02824]
  • ECDAR: an environment for compositional design and analysis...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • An environment for DEVS-based multiformalism simulation in...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • HyTech

  • Referenced in 331 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • SNAP

  • Referenced in 166 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • Uppaal

  • Referenced in 654 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • PPL

  • Referenced in 101 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • PyEcdar

  • Referenced in 3 articles [sw09616]
  • Pyecdar: towards open source implementation for timed systems...
  • APMC

  • Referenced in 28 articles [sw11483]
  • Approximate probabilistic model checking. Symbolic model checking methods...
  • Synthia

  • Referenced in 8 articles [sw12933]
  • Synthia: Verification and synthesis for timed automata. Synthia...
  • Oracle

  • Referenced in 230 articles [sw15847]
  • Oracle Database is an object-relational database management...
  • PATRICIA

  • Referenced in 52 articles [sw17325]
  • PATRICIA — practical algorithm to retrieve information coded in...