www.prismmodelchecker.org

PRISM-games: Download

PRISM-games can be downloaded, in source and binary forms, here:

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

Where did you hear about PRISM-games?  

PRISM-games