PRISM Documentation

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

• the online PRISM manual

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

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

• Installation instructions
• Frequently asked questions

For an introductory guide to using PRISM, please see:

• the PRISM tutorial

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

Information for developers is here:

• PRISM developer resources

Other useful documentation:

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

Site hosted at the Department of Computer Science, University of Oxford