Compositional Stochastic Modeling and Verification

A set of lectures given by Holger Hermanns at the ARTIST Quantitative Model Checking Winter School 2012, Copenhagen QMC 2012

You may need to install the Adobe Flash Player plug-in to watch the recordings.


--------Monday Lecture Part 1 (flash) (or pdf)
--------Monday Lecture Part 2 (flash) (or pdf)
--------Tuesday Lecture Part 1 (flash) (or pdf)
--------Tuesday Lecture Part 2 (flash) (or pdf)

Background material to study: From Concurrency Models to Numbers

Holger Hermanns, (C) 2012