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


67,981 downloads of PRISM to date.