Stormpy
1.6.3
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.exceptions
« Stormpy.info
Stormpy.logic »
Stormpy.exceptions
Stormpy.exceptions
¶
exception
StormError
(
message
)
¶
Base class for exceptions in Storm.