Skip to content

The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

Notifications You must be signed in to change notification settings

prismmodelchecker/prism-benchmarks

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

The PRISM Benchmark Suite

The PRISM benchmark suite is a collection of PRISM models and associated properties, that can be used for benchmarking or testing of a new probabilistic model checking implementation or technique. See here for details:

Documentation on PRISM's support for automated benchmarking is here:

If you use the benchmark suite in your work, please cite:

  • Marta Kwiatkowska, Gethin Norman and David Parker. The PRISM Benchmark Suite. In Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12), IEEE CS Press, 2012

The contents of the PRISM benchmark suite are distributed under the CC-BY 4.0 license:

You are free to copy, edit and redistribute it, but please give appropriate credit.

If you have questions or comments, please contact:

About

The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published