Stormpy Documentation¶
Stormpy is a set of python bindings for the probabilistic model checker Storm.
Contents:
- Installation
- Getting Started
- Advanced Examples
- Analysis
- Building Models
- Discrete-time Markov chains (DTMCs)
- Markov decision processes (MDPs)
- Continuous-time Markov chains (CTMCs)
- Markov automata (MAs)
- Engines
- Exploring Models
- Reward Models
- Working with Schedulers
- Working with Shortest Paths
- Parametric Models
- Dynamic Fault Trees
- Generalized Stochastic Petri Nets
- Contributors
Stormpy API Reference¶
Work in progress!