Lectures

This section of the website contains teaching material covering much of the underlying theory behind PRISM. There are several sets of lecture slides available:

• "Probabilistic model checking"
  a 20-lecture course with detailed coverage of model checking for DTMCs, CTMCs and MDPs
  
  
• "ESSLLI'10"
  a 5-part course covering some additional topics (e.g. PTAs) but in slightly less depth.
  
  
• "BISS'07"
  an 11-part course covering some additional topics (e.g. PTAs, case studies) but in slightly less depth.

Citations included in these slides (and other talks on this site) refer to keys in this list of references.