| [UPPAAL] |
The UPPAAL Tool. Available at http://www.uppaal.com |
| [PRISM] |
The probabilistic model checker PRISM. Available at http://www.prismmodelchecker.org |
| [APMC] |
APMC: Approximate Probabilistic Model Checker. Available at http://sylvain.berbiqui.org/apmc |
| [SMV] |
The SMV Model Checker (SMV). Available at http://www.kenmcmil.com/smv.html |
| [SPIN] |
The SPIN Tool (SPIN). Available at http://spinroot.com/spin/whatispin.html |
| [SIMULINK] |
The SIMULINK Toolset. Available at http://www.mathworks.com/products/simulink |
| [ATRMC] |
The ARTMC Tool. Available at http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc |
| [CADP] |
Construction and Analysis of Distributed Processes. Available at http://cadp.inria.fr |
Sponsors
