www.prismmodelchecker.org

Lectures - BISS 2007

The following are slides for a lecture course on Probabilistic Model Checking. This material was prepared by Marta Kwiatkowska, Gethin Norman and David Parker.

This was originally used for a 15-hour course at the BISS 2007 school in March 2007. You can also find an extended version of some of this course here.

All citations from the slides can be found in this list of references and (where appropriate) the keys match those from the PRISM bibliography.

Documentation