At a Glance
| Applications | Probabilistic Model Checker |
| Developers | Oxford University |
| Inputs | MRMC PRISM |
| Interfaces | CLI Java |
| Licenses | GPLv2 |
| Maintenance | Actively Maintained |
Description
PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour.
Publications
- PRISM 4.0: Verification of Probabilistic Real-time Systems (2011) by Kwiatkowska, Marta et. al. | Appears in CAV 2011 (585-591) | Volume 6806 | Published by Springer | 10.1007/978-3-642-22110-1_47