|
[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
|
|
Notes:
The benchmark suite can be found at http://www.prismmodelchecker.org/benchmarks/. |
|
Links:
[Google]
[Google Scholar]
|
|
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.
|