stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth
→

Metadata

Python Bindings for the Probabilistic Model Checker Storm

Stormpy - Python bindings for Storm

Build Status GitHub release DOI

Python bindings for Storm, created using PyBind11.

Get started

Get started with stormpy directly in the browser via JupyterLab:

badge

For more information on stormpy, please check the documentation.

Dependencies

Stormpy depends on pycarl.

Authors

  • Sebastian Junges
  • Matthias Volk

← Metadata

18
Stars
10
Forks
Watchers

Owner

verified publisher icon moves-rwth

Metadata

Python Bindings for the Probabilistic Model Checker Storm

Back