www.prismmodelchecker.org

PRISM Development Versions

See GitHub for the latest development version of PRISM, including recent improvements, extensions and bug fixes.

Downloads