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.3.1

The current version of PRISM is 4.3.1 (first released 27 May 2016). The main changes since the last public release (4.2.1) are listed below. With respect to 4.3, this release just includes some small bugfixes for compilation on recent Mac/Linux installations. More details for individual releases are in the CHANGELOG.

  • Support for external LTL-to-automata converters via the HOA format
    • including model checking for Generalised Rabin (GR) conditions
  • New model checking functionality/optimisations
    • lower time-bounds for properties of DTMCs/MDPs (e.g. P=? [ F>=2 "target" ])
    • expected total reward (R[C]) implemented for DTMCs
    • backwards reachability algorithm implemented for model checking PTAs
    • exact (arbitrary-precision) model checking via the parametric engine (experimental)
    • various LTL model checking optimisations
    • faster precomputation by pre-computing predecessors (explicit engine)
  • Options/switches:
    • new -pathviaautomata switch to force model checking via automaton construction
    • new "comment" option for exporting results (exports in regression test format)
    • new -javamaxmem switch (equivalent to setting PRISM_JAVAMAXMEM)
    • more convenient format for CUDD max memory setting (125k, 50m, 4g, etc.)
    • higher default values for CUDD/Java memory limits
  • Additional functionality in prism-auto testing/benchmarking script
    • export testing, .auto files, debug mode, colouring, custom model files, ...
  • New sbml2prism script
  • Bug fixes

To access more recently developed features, try the development versions.


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.3.1):
Source code
Windows (32-bit) installer
Windows (64-bit) installer
Linux (32-bit) binary
Linux (64-bit) binary
Mac OS X (32-bit) binary
Mac OS X (64-bit) binary
Previous release (4.2.1):
Source code
Windows (32-bit) installer
Affiliation: (e.g. name of university/company)
Email address (optional):

Where did you hear about PRISM?  


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:


61,283 downloads of PRISM to date.