Lectures

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

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