Other Open Access

Storm 1.6.3 Virtual Machine

Hensel, Christian; Junges, Sebastian; Quatmann, Tim; Volk, Matthias

A VM running Ubuntu 20.04 and Storm 1.6.3. 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.

Files (4.4 GB)
Name Size
storm.ova
md5:c39e8b4032754b69a537cac811ff7071
4.4 GB Download
100
62
views
downloads
All versions This version
Views 10039
Downloads 6218
Data volume 273.0 GB78.7 GB
Unique views 8632
Unique downloads 5118

Share

Cite as