At a Glance
| Applications | Probabilistic Model Checker |
| Developers | Saarland University |
| Inputs | PRISM |
| Interfaces | CLI |
| Licenses | All Rights Reserved |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2011
PARAM is a tool with the purpose of handling parametric variants of models specified in a variant of the PRISM language. PARAM is capable of computing the unbounded reachability probability for parametric discrete-time Markov chains.