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 2010
INFAMY is a tool with the purpose of model checking CSL formulae on infinite state Markov chains in continuous time.