Hensel, Christian
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
Volk, Matthias
2019-12-11
<p>This package contains logdata and replication scripts for the evaluation of the model checker Storm (www.stormchecker.org) as part of the paper:<br>
"The Probabilistic Model Checker Storm" by Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk</p>
https://doi.org/10.5281/zenodo.3571210
oai:zenodo.org:3571210
Zenodo
https://doi.org/10.5281/zenodo.3571209
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
The Probabilistic Model Checker Storm: Evaluation Results and Replication Package
info:eu-repo/semantics/other