www.prismmodelchecker.org

Download PRISM

PRISM is free and open source software, distributed under the GNU General Public License (GPL), version 2.

Download:

PRISM should run on 32/64-bit versions of all major operating systems.

We distribute various pre-built binaries:

For non-Windows platforms, it is usually easy to build from source code:

Older versions are available on the GitHub releases page.

Latest version: 4.10

The current version of PRISM is 4.10 (first released 29 January 2026).

The main changes since the last major release (4.9) are listed below. See the CHANGELOG for full details.

  • Import/export functionality
    • import/export from/to UMB (Unified Markov Binary) format
    • import of POMDPs from explicit files (.tra, .obs, etc.)
    • optionally, export/import initial state info via .tra file
  • Full LTL for interval MDPs/DTMCs.
  • Construction and export (but not solution) of:
    • negative rewards
    • interval POMDPs
    • exact interval models

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