www.prismmodelchecker.org
HomeAboutDownloadsDocumentationManualPublicationsCase StudiesSupport

PRISM Development Versions

PRISM is under constant development. This means that some of the most recent improvements, extensions and bug fixes may not yet be available in the version available for general download.

Here, you can get access to development versions of PRISM. These are basically recent snapshots from the Subversion repository used by the PRISM developers. Please note:

  • They should be considered less stable than public releases
  • New features may change and/or disappear at the whim of the PRISM developers
  • New features may not yet be documented - feel free to ask questions in the discussion group
  • They are distributed only as source code and as a Windows installer
  • Like the main PRISM relase, they are distributed under the GPL
  • Your feedback, good or bad, is very much appreciated

Currently, the main public release of PRISM (version 3.2) is the most up-to-date available. Check back here soon for updates.

Downloads


13769 downloads of PRISM to date.