GitHub repository: prismmodelchecker/prism-benchmarks
Primary language: Perl6
Created: 2015-06-02T12:38:08Z
Description: The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.