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.
Note that the provided virtual machine images might not be up to date. If you need the latest release we recommend to use the Docker container instead.
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
will take you to the folders containing Storm’s binaries. For more information on how to run Storm, please read our guide.
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”
- added description to README how to use the scripts
Update on Feb 1, 2017
- updated to newest Storm version
- added files containing all tool invocations used in benchmarks
- installed latest version of IMCA and added its benchmark files