2nd International PhD School on Quantitative Model Checking

The 2nd International PhD School on Quantitative Model Checking took place at the IT University of Copenhagen 27 Feb – 1 Mar 2012. The PhD school is organized by the European Network of Excellence ARTIST Design and MT-LAB Centre of Excellence.

The school featured lectures by world-renowned experts within the areas of discrete, real-time and probabilistic model checking:

Jan Tretmans – model-based testing
Wolfgang Thomas – games in model checking
Javier Esparza – verification of infinite state systems
Patrice Godefroid – software model checking
Holger Hermans – compositional stochastic modeling and verification
Axel Legay – statistical model checking
Joel Ouaknine – metric temporal logics
Andrzej Wasowski – compositional design & verification of real time systems

Read more about the PhD school at: http://itu.dk/qmc2012/

See pictures from the PhD school in the slideshow on the right.

img_5997_400

img_6004_400

img_6006_400

img_6019_400

img_6022_400

img_6033_400_2

img_6094_400

img_6111_400