Systems Verification Course Material HT 2016

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

Click here for material

Day 1 lecture PDF

Day 4 lecture PDF