The PRISM Benchmark Suite

Authors:
Marta Kwiatkowsa;Gethin Norman;David Parker
Affiliations:
-;-;-
Venue:
QEST '12 Proceedings of the 2012 Ninth International Conference on Quantitative Evaluation of Systems
Year:
2012

Citing 0
Cited 1

High-Level counterexamples for probabilistic automata

QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems

Quantified Score

Hi-index	0.00

Visualization

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.