PRISM-games can be downloaded, in source and binary forms, below. You can also find the latest version of the code on GitHub.
The current version of PRISM is 3.0 (beta first released 31 January 2020). See the CHANGELOG for details of what changed in each release.
See here for installation instructions.
Site hosted at the Department of Computer Science, University of Oxford