At a Glance
| Applications | Probabilistic Program Prover |
| Developers | RWTH Aachen |
| Inputs | HeyVL |
| Interfaces | CLI VSCode |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Storm is a tool for the analysis of systems involving random or probabilistic phenomena.