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
, 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.