More information about PRISM

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

• the latest tool paper, presented at CAV'11 (paper, slides)
• or this promotional video, courtesy of Lu Feng

For some background material on probabilistic model checking, see these tutorials:

• [KNP07a] (for DTMCs and CTMCs)
• [FKNP11] (for MDPs)
• [NPS13] (for PTAs)
• [SK16] (for stochastic games)

See also:

• the slides for these lecture courses
• this book: [KNP04a] and chapter 10 of this book: [BK08]

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]
• PRISM4AI

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