Download flyer (for two-side printing)
Download program (for two-side printing)
The PhD school on quantivative model checking, QMC 2010, is organized by the European Network of Excellence ARTIST Design and the Danish VKR Center of Excellence MT-LAB and takes place at the IT University Copenhagen from 2 to 5 March 2010. 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.

Réalisation Axome - Création de sites Internet