Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
The main development version of the PRISM model checker.
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
Some relatively stable extensions of PRISM. Most will be merged into the main repo (and disappear from here) at some point. The master branch mirrors the main repo; each extension is in a separate branch.
The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
Example code for connecting to PRISM programmatically.
Modified version of CUDD used in PRISM
Old version of the PRISM regression test suite; now merged into the main PRISM repo.
Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.