We will use a Docker container based on Jupyter Notebook throughout the tutorial. You can follow along the interactive presentation and try out Storm by yourself. Please perform the following installation steps.
Install Docker for your OS according to these instructions.
Download and start the Docker container from the command line:
docker run -it -p 8080:8080 --name stormpyter movesrwth/stormpyter:discotec2020
Please note that the download with >1GB might take a while.
Open the Jupyter website which is indicated in the command line and
On the website, open the file
The presentation should start automatically now.