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.