www.prismmodelchecker.org

PRISM-games: Download

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.1 (beta first released 22 July 2021). See the CHANGELOG for details of what changed in each release.

See here for installation instructions.

Please select a distribution:
Current release (3.1):
Source code
Windows (64-bit) installer
Linux (64-bit) binary
Mac OS X (64-bit) binary
Previous release (3.0):
Source code
Windows (64-bit) installer
Linux (64-bit) binary
Mac OS X (64-bit) binary
Name:
Affiliation: (e.g. name of university/company)
Email address (optional):

Where did you hear about PRISM-games?  

PRISM-games


11,377 downloads of PRISM-games to date.