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.0.beta (first released 31 January 2020). See the CHANGELOG for details of what changed in each release.

See here for installation instructions.

Please select a distribution:
Current release (3.0.beta):
Source code
Windows (64-bit) installer
Linux (64-bit) binary
Mac OS X (64-bit) binary
Previous release (2.1):
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


1,544 downloads of PRISM-games to date.