API Documentation

The core API provides model checking, models, data structures, and utilities. See the Extensions API for DFTs, GSPNs, parametric models, and POMDPs, and the Developer API for internal bindings.

stormpy	Python bindings for the probabilistic model checker Storm.
stormpy.analysis	Graph and numerical analyses of probabilistic models.
stormpy.datastructures	Reusable bit vectors, sparse matrices, distributions and JSON containers.
stormpy.environments	Environments configuring the algorithms of Storm, e.g., the solvers and their precision.
stormpy.exceptions
stormpy.expressions	Symbolic expressions, variables and expression parsing.
stormpy.info	Information about Storm and this installation of stormpy, e.g. versions and build settings.
stormpy.io	Format-specific model descriptions, parsing, exporting and their options.
stormpy.logic	Properties and their formulas, e.g., probability and reward operators of PCTL and CSL.
stormpy.models	Probabilistic models, their states, actions, rewards, labels and schedulers.
stormpy.numbers	Number types of Storm.
stormpy.plotting	Helpers for plotting Pareto curves of two-dimensional multi-objective queries.
stormpy.results	Model checking results, values with sound bounds and aggregation options.
stormpy.simulator	Simulators for stepping through sparse models and Prism programs.
stormpy.transformations	Model transformations and their options, policies and mapping results.