www.prismmodelchecker.org

PRISM Documentation

For information about using installing and running PRISM, please see:

(a local copy is also included when you download PRISM)

In particular, you may may find these two sections useful:

For an introductory guide to using PRISM, please see:

For some pointers to useful talks, papers, etc. see here.

Information for developers is here:

Other useful documentation:

  • CHANGELOG (information about the features in each version of PRISM)
  • semantics.pdf (the semantics of the PRISM language)

Documentation