There is a newer version of the record available.

Published December 11, 2019 | Version v1
Dataset Open

The Probabilistic Model Checker Storm: Evaluation Results and Replication Package

Creators

  • 1. RWTH Aachen University, Aachen, Germany

Description

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

Files (17.0 MB)

Name Size Download all
md5:681cb2641b713b875ef37940df93fb01
17.0 MB Download