At a Glance
| Applications | Weighted Ensemble |
| Developers | Drake University University of Pittsburgh |
| Inputs | WESTPA |
| Interfaces | CLI |
| Licenses | MIT |
| 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.