| TINA |
TINA (TIme petri Net Analyzer) is a toolbox for the editing and analysis of Petri Nets, with … |
| CADP |
[ Closed-Source Tool ] CADP (“Construction and Analysis of Distributed … |
| INFAMY |
[ Not Maintained Since 2010 ] INFAMY is a tool with the purpose of model checking CSL formulae on … |
| MathSAT |
[ Closed-Source Tool ] MathSAT is an SMT solver supporting a wide range of theories … |
| Modest Toolset |
The Modest Toolset supports the modelling and analysis of hybrid, real-time, distributed and … |
| NuXMV |
[ Closed-Source Tool ] nuXmv is a symbolic model checker for the analysis of synchronous … |
| ORIS Tool |
The Modest Toolset supports the modelling and analysis of hybrid, real-time, distributed and … |
| PARAM |
[ Not Maintained Since 2011 ] PARAM is a tool with the purpose of handling parametric variants of … |
| PASS |
[ Not Maintained Since 2010 ] PASS is an analysis tool for infinite-state probabilistic models. It … |
| ProHVer |
[ Not Maintained Since 2011 ] ProHVer is a tool to handle systems which feature both discrete and … |
| SPASS |
[ Closed-Source Tool ] SPASS: An Automated Theorem Prover for First-Order Logic with Equality … |
| Spin |
Spin is a model checker for multi-threaded software.
|
| Uppaal |
[ Closed-Source Tool ] Uppaal is an integrated tool environment for modeling, validation and … |