Other Open Access
Hensel, Christian; Junges, Sebastian; Quatmann, Tim; Volk, Matthias
A VM running Ubuntu 19.10 and Storm 1.4.1. The root password is storm.
Storm is located at
/home/storm/storm and the binaries can be found in
/home/storm/storm/build/bin. For your convenience, the path containing the binaries is added to the
PATH, meaning that you can run the Storm binaries from any location in the terminal. Moreover, the benchmarks from the Quantitative Verification Benchmark Set are included such that you can run, for example,
storm --qvbs crowds
to check an instance of the Crowds protocol.