If you just want to try Storm without installing it or its dependencies, the virtual machine image we provide might be the right fit for you. We pre-installed Storm, its dependencies and other useful reference tools (like PRISM and IMCA and the PRISM benchmark suite) on a Linux host system. You can download the latest version of the virtual machine here.

The virtual machine is hosted at sciebo, an academic cloud hoster. We are not able to trace the identity of downloaders, so reviewers can use this link without revealing their identity.

## Importing

When you have downloaded the OVA image, you can import it into, for example, VirtualBox. Before the first run, you should review the hardware resources allocated to the VM. E.g., for VirtualBox open Settings → System and adjust the memory size and CPU count under Motherboard and Processor, respectively.

The username and password are both storm and a README file is provided on the desktop. In the virtual machine, Storm is located at /home/storm/storm and the binaries can be found in /home/storm/storm/build/bin. For your convenience, an environment variable with the name STORM_DIR is set to the path containing the binaries and this directory is added to the PATH, meaning that you can run the Storm binaries from any location in the terminal and that

$cd$STORM_DIR


## Changelog

The VM is periodically updated to include bug fixes, new versions, and so on. When the image was most recently updated and what changes were made to the VM can be taken from the following changelog.

#### Update on March 21, 2017

• added scripts to re-run all benchmarks from paper submission “A Storm is Coming: A Modern Probabilistic Model Checker”