www.prismmodelchecker.org

Download PRISM

PRISM is free and open source software. You can download both the tool and its source code for free from below. Distribution is under the GNU General Public License (GPL), version 2.

Latest version: 4.7

The current version of PRISM is 4.7 (first released 19 Mar 2021). The main changes since the last public release (4.6) are listed below. More details for individual releases are in the CHANGELOG.

  • New model checking functionality
    • support for POMDP/POPTA model checking
    • support for LTS model checking
    • reporting of model checking accuracy
  • Features/enhancements:
    • bounded properties (e.g. P improved model type auto-detection (MDP/PTA/LTS/POMDP/POPTA)
    • new -dir switch to set current working dir in command line and GUI
    • support HOA input (HOAF2DA) without a number-of-states header
  • Fixes
    • fixed to compile on Java 14
    • fixed to compile on 64-bit Arm Linux/Mac
    • consistent treatment of negative/infinite/NaN rewards in symbolic/explicit engines
    • disable tree of model info in GUI
  • Development and code-level changes
    • code base now allows/assumes Java 9
    • testing RESULT specifications can be intervals [a,b]
    • prism-log-extract: new (meta)fields: prog_name, prog_version, prog
    • ModelGenerator improvements: auto-generates VarList; stores module info
    • explicit model refactoring: more default implementations in interfaces
    • bugfixes & refactoring

To access more recently developed features, get the latest code from GitHub.

Download:

PRISM should run on 32/64-bit versions of all major operating systems. We distribute pre-built binary versions for various architectures. But for non-Windows platforms, it is usually easy to build from source code.

Note: Your version (32- vs 64-bit) of Java must match that of PRISM. In particular, to use the 32-bit Windows binary, make sure you are running a 32-bit version of Java.

Please select a distribution:
Current release (4.7):
Source code
Windows (64-bit) installer
Linux (64-bit) binary
Mac OS X Intel (64-bit) binary
Mac OS X Apple M1 (64-bit) binary
Current release (4.6):
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?  

Installation

See the installation instructions, included in the PRISM manual (which is also distributed with the tool).

If you have any problems, first check the list of common problems and questions.

If you are still stuck, post a message in the forum.

Once you have installed PRISM, you might want to look at:

Downloads


101,624 downloads of PRISM to date.