More information about PRISM

For a brief, high-level overview of PRISM, see:

• the latest tool paper, presented at TACAS'06 (paper, slides).

For a more in-depth introduction to probabilistic model checking and PRISM, look at:

• the slides for our 11-part lecture course
• this book: [KNP04a], this tutorial paper: [KNP07a] (D/CTMCs only) or chapter 3 of [Par02].

To get started with PRISM, try:

• the PRISM tutorial.

The definitive guide to the PRISM tool is:

• the PRISM manual.

For more details about case studies, see:

• the PRISM case study repository
• the case study overview papers in ACM PER [KNP05b] and ENTCS [KNP05d]