Stormpy 1.6.4
  • Storm
  • Github
  • Stormpy

      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

      Modules:

      • Stormpy.core
      • Stormpy.info
      • Stormpy.exceptions
      • Stormpy.logic
      • Stormpy.storage
      • Stormpy.utility
      • Stormpy.dft
      • Stormpy.gspn
      • Stormpy.pars
  • Page
      • Stormpy Documentation
      • Stormpy API Reference
      • Indices and tables
  • Installation »
  • Stormpy Documentation
  • Stormpy API Reference
  • Indices and tables

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

Back to top

Source

© Copyright 2016-2021 Moves RWTH Aachen.
Created using Sphinx 5.0.2.