Home ›Organizations ›prismmodelchecker
PRISM Model Checker @prismmodelchecker
Source code for the PRISM model checker and related projects
PRISM Model Checker
@prismmodelchecker · prismmodelchecker.org
About the organization
Source code for the PRISM model checker and related projects
Primary technologies & languages
Technical topics & focus areas
Participation years
Repositories on GitHublive from github.com/prismmodelchecker, ranked by starsAll 9 repos
The main development version of the PRISM model checker.
50 open issues · good place to start if you want to contributeThe main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
7 open issues · good place to start if you want to contributeThe PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
1 open issues · good place to start if you want to contributeMirror of old PRISM subversion trunk. Now replaced by prism repo, but some forks of this may still exist.
2 open issues · good place to start if you want to contributeExample code for connecting to PRISM programmatically.
Old version of the PRISM regression test suite; now merged into the main PRISM repo.
1 open issues · good place to start if you want to contributePublicly released extensions and snapshots of PRISM. The master branch mirrors the main repo; each extension/snapshot is in a separate branch/release.
1 open issues · good place to start if you want to contributeModified version of CUDD used in PRISM
1 open issues · good place to start if you want to contributeModified version of PPL (Parma Polyhedra Library) used in PRISM.