Course: Non-Functional Model Checking
- Course (Dr. Matthias Kuntz)
Wednesday 10:00 - 13:00h Room: D 247
Friday 10:00 - 11:00hRoom: C 252
The first introductory meeting for this course will be on: 14.04.2010
- Lecture 1 [PDF]
- Lecture 2 [PDF]
- Lecture 3 [PDF]
- Lecture 4 [PDF]
- Lecture 5 [PDF]
- Lecture 6 [PDF]
- Lecture 7 [PDF]
- Lecture 8 [PDF]
ParticipantsBachelor and Master students
Subject AreaInformatik der Systeme / Angewandte Informatik
Contents / SyllabusNon-functional properties in system design refer to quantifiable aspects of the behavior of a computing system. These include real-time bounds, dependability measures or the development of continuous system parameters. In this course we will introduce into the algorithmic foundations of real-time model checking, stochastic model checking and automated hybrid systems verification. Implementation strategies, tools and application case studies will also be presented. During tutorials students will solve problems and also work with the presented state of the art model checking tools. While this course is self-contained, it complements the courses on "Model Checking of Software" and "Logic in Computer and Software Science".
- E.-R. Olderog and H. Dierks: Real-Time Systems. Cambridge University Press, 2008.
- B. Bérard et al.: Systems and Software Verification: Model-Checking Techniques and Tools, Springer 2001.
- C. Baier and J.-P. Katoen: Principles of Model Checking, MIT Press, 2008.
Further literature will be announced during the course.