GitHub repository: kleinj/prism-tests
Primary language: Perl6
Description: The PRISM regression test suite: a collection of probabilistic model checking tasks that PRISM can perform, along with their expected result/output.