stormvogel 0.1.1

User-friendly frontend to the Storm model checker

stormvogel 🐦

An interactive approach to probabilistic model checking

Take a look at the stormvogel documentation!

For developers/mantainers, see the GitHub Wiki.

Use With Docker

Install docker. Run:

docker run -it -p 8080:8080 stormvogel/stormvogel

Setup

Install poetry. Install dependencies:

poetry install
poetry shell
pip install <path to stormpy> # TODO: Package stormpy nicely
pip install .

Testing

Run

pytest

Development

Install pre-commit hook:

pre-commit install