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

Share

Cite as