PRISM Model Checker

PRISM Model Checker's repositories

prism

The main development version of the PRISM model checker.

Language:JavaGPL-2.0147 14 102

prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

Language:JavaGPL-2.022 6 6

prism-svn

Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.

Language:Java11 80

prism-benchmarks

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

Language:Raku9 7 1

prism-api

Example code for connecting to PRISM programmatically.

Language:Java6 4 3

prism-tests

Old version of the PRISM regression test suite; now merged into the main PRISM repo.

Language:Perl 63 40

prism-ext

Publicly released extensions and snapshots of PRISM. The master branch mirrors the main repo; each extension/snapshot is in a separate branch/release.

Language:JavaGPL-2.02 3 1

cudd

Modified version of CUDD used in PRISM

Language:CBSD-3-Clause1 3 4

ppl

Modified version of PPL (Parma Polyhedra Library) used in PRISM.

Language:C++GPL-3.0000