The PRISM Benchmark Suite

Marta Kwiatkowska (1) , Gethin Norman (2) , David Parker (3)

1 Department of Computer Science [Oxford]
2 School of Computing Science [Glasgow]
3 School of Computer Science [Birmingham]

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.

Domaines: Informatique

Marta Kwiatkowska, Gethin Norman, David Parker. The PRISM Benchmark Suite. 9th International Conference on Quantitative Evaluation of SysTems, Sep 2012, London, United Kingdom. pp.203-204. ⟨hal-00740727⟩