Giters

kleinj / prism-benchmarks

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

Home Page:http://www.prismmodelchecker.org/benchmarks/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

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

http://www.prismmodelchecker.org/benchmarks/

Languages

Language:Perl 6 86.3%Language:Perl 7.1%Language:Pascal 6.6%