PRISM Documentation

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

• the PRISM manual

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

• Installation instructions
• Frequently asked questions

If you wish, you can also download a PDF version or a zipped archive of the manual. Note that both of these are included when you download PRISM.

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:

• VERSIONS.txt (information about the features in each major version of PRISM)
• CHANGELOG.txt (more detailed information about the different versions)
• semantics.pdf (the semantics of the PRISM language)