The PRISM Benchmark Suite
Marta Kwiatkowsa, Gethin Norman, David A. Parker · 2012
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.