stormvogel 🐦

An interactive approach to probabilistic model checking

Take a look at the stormvogel documentation!

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