Stormpy Documentation

Stormpy is a set of python bindings for the probabilistic model checker Storm.

Contents:

• Installation
  • Requirements
  • Installation Steps
• Getting Started
  • A Quick Tour through Stormpy
• 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!

Modules:

• Stormpy.core
• Stormpy.info
• Stormpy.exceptions
• Stormpy.logic
• Stormpy.storage
• Stormpy.utility
• Stormpy.dft
• Stormpy.gspn
• Stormpy.pars

Indices and tables

• Index

• Module Index

• Search Page