www.prismmodelchecker.org

PRISM Documentation

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

(a local copy and a PDF version are 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.

Other useful documentation:

Documentation