GitHub / nicodelpiano / prism-tests

The PRISM regression test suite: a collection of probabilistic model checking tasks that PRISM can perform, along with their expected result/output.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nicodelpiano%2Fprism-tests
PURL: pkg:github/nicodelpiano/prism-tests

Fork of prismmodelchecker/prism-tests
Stars: 0
Forks: 0
Open issues: 0

License: None
Language: Perl6
Size: 1.09 MB
Dependencies parsed at: Pending

Created at: about 9 years ago
Updated at: almost 2 years ago
Pushed at: almost 9 years ago
Last synced at: almost 2 years ago

Loading...