Stormpy Documentation

Stormpy is a set of Python bindings for the probabilistic model checker Storm. Pycarl is bundled with stormpy. It is a set of python bindings for the computer arithmetic and logic library carl-storm.

Contents:

• Installation
  • Installing stormpy
  • Manually Building Stormpy
  • Building stormpy documentation
• 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
  • Working with Simulators
  • Reward Models
  • Working with Schedulers
  • Working with Shortest Paths
  • Parametric Models
  • Dynamic Fault Trees
  • Generalized Stochastic Petri Nets
• Getting Started with Pycarl
  • A Quick Tour through pycarl
• Developer information
  • Structure
  • Coding conventions
  • Dependencies
• Contributors
• Stormpy API Reference
  • Stormpy.core
  • Stormpy.info
  • Stormpy.exceptions
  • Stormpy.logic
  • Stormpy.storage
  • Stormpy.utility
  • Stormpy.dft
  • Stormpy.gspn
  • Stormpy.pars
  • Stormpy.pomdp
  • Pycarl core
  • Pycarl convert
  • Pycarl formula
  • Pycarl parse

Indices and tables

• Index

• Module Index

• Search Page