Published September 7, 2020 | Version v2
Dataset Open

The Probabilistic Model Checker Storm: Evaluation Results and Replication Package


This package contains logdata and replication scripts for the evaluation of the model checker Storm ( 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 Download all
17.0 MB Download