Home

PRISM Developer Resources

PRISM and PRISM-games are open-source software and we encourage developers to adapt and extend them.

Here, we collate information and resources for developers of these tools, or of code that extends/connects to them.

If you have questions or want to discuss issues relating to PRISM/PRISM-games development, please use the PRISM developers forum on Google Groups first. For anything else, please email Dave Parker at david.parker@cs.ox.ac.uk.

Source code

The source code for PRISM and PRISM-games can be found at:

• https://github.com/prismmodelchecker/prism
• https://github.com/prismmodelchecker/prism-games

These are the most up-to-date version of the code. If you plan to extend/adapt them, create a fork from that repo. Public releases (both binaries and source) are published on the PRISM download and PRISM-games download pages, and also on the GitHub PRISM releases and PRISM-games releases pages.

The manual has PRISM installation instructions and there are some extra PRISM-games installation instructions

These scripts for setting up PRISM on a fresh OS/VM are also useful:

• prism-install-ubuntu
• prism-install-rhel

The prism-api repo contains examples of how to connect to PRISM programmatically:

• https://github.com/prismmodelchecker/prism-api

The source code for PRISM-games is here:

• https://github.com/prismmodelchecker/prism-games

The latest code from the main PRISM repo is merged into this periodically.

Branches and merging

For the main repo, we use a linear git history, rebasing rather than merging when feature branches are incorporated. There is no specific policy for retaining/updating the timestamps of the original commits.

The PRISM-games repo is periodically updated to incorporate updates from the main PRISM repo. This is done via merging, not rebasing, since some parts of the codebase have diverged a little.

The prism-ext repo is used for hosting public snapshots (e.g. for tool competitions) or publicly released extensions (e.g. PRISM-pomdps, before it was integrated to the main repo).

The CUDD repo is used to keep track of the modifications we have made to the CUDD (MT)BDD library.

Parsers

The (modelling and property) languages in PRISM are processed using parsers generated by JavaCC. We use version 7.0. You do not need this to build a normal version of PRISM, only if you have made your own modifications to the parsers. (In that case, note that make parser re-compiles just the parser code)