This folder contains material for the Storm tutorial at FM 2026. We provide the Jupyter notebooks as well as model files.
The easiest way is to download and run the prepared Docker image.
docker run -it -p 8888:8888 mvolk/storm-tutorial
Alternatively, one can also manually build and run from the provided Dockerfile.
docker build -t storm-tutorial .
docker run -it -p 8888:8888 storm-tutorial
After running the Dockerfile, in both cases visit the localhost link indicated in the commandline output with your web-browser.
This opens the Jupyter lab environment.
The notebooks from the tutorial are available in the notebooks directory and follow the same structure as the sections in the corresponding tutorial paper.
The example files, such as the Prism model files, are given in notebooks/examples.
One can also run most of the example in our online playground at try.stormchecker.org. Select the examples from Examples -> tutorial -> Orchard ...