QMC PhD School

Quantitative Model Checking PhD School

The PhD school on quantitative model checking, QMC 2012, is organized by the European Network of Excellence ARTIST Design, the Danish VKR Center of Excellence MT-LAB and the IDEA4CPS research centre and takes place at the IT University Copenhagen from the 27 of February to the 1st of March 2012. It features lectures and other activities by world-renowned experts within the areas of real-time, probabilistic, and hybrid model checking.

The lectures will present advances within this broad field of quantitative model checking, providing an in-depth account of state-of-the-art modeling and logical formalisms, model checking algorithms as well as practical applications and offering hands-on experience of state-of-the art quantitative model checking tools.