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, Volume 20(2), (STTT, Special issue "TACAS'16"), pp 179-194, 2018

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.