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
161
85
views
downloads
All versions This version
Views 16176
Downloads 8537
Data volume 373.7 GB161.7 GB
Unique views 14366
Unique downloads 6932
More info on how stats are collected.
Indexed in
Publication date:
December 7, 2020
DOI:
10.5281/zenodo.4304439

Zenodo DOI Badge

DOI 

10.5281/zenodo.4304439

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4304439.svg)](https://doi.org/10.5281/zenodo.4304439)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4304439.svg
   :target: https://doi.org/10.5281/zenodo.4304439

HTML 

<a href="https://doi.org/10.5281/zenodo.4304439"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4304439.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4304439.svg

Target URL 

https://doi.org/10.5281/zenodo.4304439

License (for files):
GNU General Public License v2.0 or later

Versions

Version 1.6.3 10.5281/zenodo.4304439 Dec 7, 2020
Version 1.4.1 10.5281/zenodo.3585795 Dec 19, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3585794. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export