Title :
The PRISM Benchmark Suite
Author :
Kwiatkowsa, M. ; Norman, Gethin ; Parker, David
Author_Institution :
Dept. of Comput. Sci., Univ. of Oxford, Oxford, UK
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.
Keywords :
benchmark testing; formal specification; program testing; program verification; software tools; PRISM benchmark suite; benchmarking; facilitate testing; probabilistic models; probabilistic verification tools; property specifications; Benchmark testing; Biological system modeling; Educational institutions; Markov processes; Probabilistic logic; Benchmarks; Probabilistic model checking; Probabilistic models; Probabilistic verification tools;
Conference_Titel :
Quantitative Evaluation of Systems (QEST), 2012 Ninth International Conference on
Conference_Location :
London
Print_ISBN :
978-1-4673-2346-8
Electronic_ISBN :
978-0-7695-4781-7
DOI :
10.1109/QEST.2012.14
