Dataset Open Access

The Probabilistic Model Checker Storm: Evaluation Results and Replication Package

Hensel, Christian; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim; Volk, Matthias

This package contains logdata and replication scripts for the evaluation of the model checker Storm (www.stormchecker.org) as part of the paper:
    "The Probabilistic Model Checker Storm" by Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk

Files (17.0 MB)
Name Size
storm-benchmarks.tar.gz
md5:dec6b34d7863783b8f6e9f34abb00bbd 		17.0 MB Download
161
23
views
downloads
All versions This version
Views 16187
Downloads 2313
Data volume 390.6 MB220.9 MB
Unique views 13874
Unique downloads 2013
More info on how stats are collected.
Indexed in
Publication date:
September 7, 2020
DOI:
10.5281/zenodo.4017717

Zenodo DOI Badge

DOI 

10.5281/zenodo.4017717

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2 10.5281/zenodo.4017717 Sep 7, 2020
Version 1 10.5281/zenodo.3571210 Dec 11, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3571209. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export