Model Checking II Summer Term 2010
Tuesday 2.DS [09.20-10.50] INF/E05
Course DescriptionThis course is a continuation of the "Model Checking" lecture from winter term 2009/2010 given by Prof. Dr. Baier and covers some of the following topics.
Course materialThe lecture will be held according to corresponding chapters from the following book:
Christel Baier and Joost-Pieter Katoen: Principles of Model Checking, MIT Press, 2008.
After each lecture a PDF containing the slides shown during the lecture will be available for download on this site.
Modules for master programme computational logicsSV, SDS
PrerequisitiesCompletion of the "Model Checking" lecture from winter term 2009/2010.
Lecture notes (no longer available)
Exercises (no longer available)