| INFAMY |
[ Not Maintained Since 2010 ] INFAMY is a tool with the purpose of model checking CSL formulae on … |
| Modest Toolset |
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 … |
| PRISM |
PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that … |
| ProHVer |
[ Not Maintained Since 2011 ] ProHVer is a tool to handle systems which feature both discrete and … |
| STAMINA |
A state-space truncation tool for Markov-Chains that can analyze infinite-sized models. Intefaces … |
| Storm |
Storm is a tool for the analysis of systems involving random or probabilistic phenomena.
|