www.prismmodelchecker.org

PRISM Development Versions

See GitHub for the latest development version of PRISM, including recent improvements, extensions and bug fixes. Pre-built binaries will be posted here intermittently.

Downloads


66,105 downloads of PRISM to date.