Skip to content

prismmodelchecker/prism-benchmarks

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 

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