The PRISM Benchmark Suite

The PRISM benchmark suite is a collection of PRISM models and associated properties, that can be used for benchmarking or testing of a new probabilistic model checking implementation or technique. See here for details:

• http://www.prismmodelchecker.org/benchmarks/

Documentation on PRISM's support for automated benchmarking is here:

• https://github.com/prismmodelchecker/prism/wiki/Benchmarking

If you use the benchmark suite in your work, please cite:

• Marta Kwiatkowska, Gethin Norman and David Parker. The PRISM Benchmark Suite. In Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12), IEEE CS Press, 2012

The contents of the PRISM benchmark suite are distributed under the CC-BY 4.0 license:

• https://creativecommons.org/licenses/by/4.0/

You are free to copy, edit and redistribute it, but please give appropriate credit.

If you have questions or comments, please contact:

• Dave Parker (d.a.parker@cs.bham.ac.uk)