PRISM Documentation

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

• the online PRISM manual (also available as PDF or zipped HTML)

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.

Other useful documentation:

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