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


80,909 downloads of PRISM to date.