| 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 … |
| Momba |
Momba is a Python framework for dealing with quantitative models centered around the JANI-model … |
| 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 … |