Dataset Open Access
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
Name | Size | |
---|---|---|
storm-benchmarks.tar.gz
md5:dec6b34d7863783b8f6e9f34abb00bbd |
17.0 MB | Download |
All versions | This version | |
---|---|---|
Views | 337 | 240 |
Downloads | 41 | 31 |
Data volume | 696.5 MB | 526.8 MB |
Unique views | 302 | 216 |
Unique downloads | 38 | 31 |