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.