Advances in Probabilistic Model Checking with PRISM:
Variable Reordering, Quantiles and Weak Deterministic Büchi Automata
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
International Journal on Software Tools for Technology Transfer (STTT, Special issue "TACAS'16"), pp 1-16, 2017
Thank you for your interest in the implementation and additional materials for our article:
- prism-sttt17.zip (11MB): ZIP with the source code of our extended PRISM version. Included is a README-STTT.txt
file with instructions for compiling PRISM and using our extensions.
- sttt17-experiments.zip (250KB): ZIP with the model and property files used in our benchmarks. Included is a README with
some further details.
Homepage of Prof. Baier's group at TU Dresden.