www.prismmodelchecker.org

GSSI'15: Probabilistic model checking with PRISM

The site contains various resources for GSSI'15, PhD course taught at the Gran Sasso Institute

Background reading

  • This tutorial paper is a good source of background reading.

  • There are further tutorial papers listed here.

Documentation