AIMS-QuantVer'16: Quantitative verification, part of the Systems Verification course of the AIMS CDT

The site contains various resources for the Quantitative Verification component of the Systems Verification course taught for the AIMS CDT (Hilary Term 2016).

• Slides for the lectures given by Marta Kwiatkowska:
  • part 1 (Introduction + discrete-time Markov chains);
  • part 2 (Markov decision processes + strategies).
  
  
• A reference list for papers on probabilistic model checking, as cited in the lecture slides
  
  
• A lab session based on the PRISM tool.

Background reading

• This tutorial paper is a good source of background reading.
  
  
• The book Principles of of Model Checking by Christel Baier and Joost-Pieter Katoen is recommended reading for the course.
  
  
• There are further tutorial papers listed here.

Site hosted at the Department of Computer Science, University of Oxford