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