The PRISM Benchmark Suite

David Parker

Lecturer
School of Computer Science
University of Birmingham
Edgbaston, Birmingham, B15 2TT

Email: d.a.parker@cs.bham.ac.uk
Tel: +44 (0) 121 41 47264
Office: 107
Office hours: Wed 12.30-1.30, Thu 3-4

<< NEWS >>

Postdoc position at Birmingham on "Automated Game-Theoretic Verification of Security Systems". Applications close 4 Sep 2013.

[KNP12b] Marta Kwiatkowska, Gethin Norman and David Parker. The PRISM Benchmark Suite. In Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12), pages 203-204, IEEE CS Press. September 2012. [pdf] [bib] [Introduces a suite of PRISM models/properties and other resources for benchmarking and testing.]

Downloads:

pdf (88 KB) $bib$ bib

Notes: The benchmark suite can be found at
http://www.prismmodelchecker.org/benchmarks/.

Links: [Google] [Google Scholar] [CiteSeer]

Abstract. We present the PRISM benchmark suite: a collection of probabilistic models and property specifications, designed to facilitate testing, benchmarking and comparisons of probabilistic verification tools and implementations.