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 2.1 (first released 21 May 2019). See the CHANGELOG for details of what changed in each release.

See here for installation instructions.

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

Where did you hear about PRISM-games?  

PRISM-games