Quantitative Model Checking 2010

March 2-5, 2010      IT University Copenhagen, Denmark organised and funded by ARTIST 


The book Principles of Model Checking (MIT Press, 2008) by C. Baier and J.-P. Katoen is widely recognized as a standard text on model checking. A number of lecturers will make use of material from this book.

Additionally, a number of lectures will make use of material from other sources. This is indicated below in the program.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet