en | de

Introduction to Model Checking

master program

VO1  WS 2010/2011  703503

Exercises

The exercises are now in their final version. (last update: December 3). All solutions but the solution to Exercise 12 have been presented during the lecture.

Try to solve these exercises on your own or within a small group to practice your skills. Presenting a solution during the exercise-lectures will be awarded with extra points for the final exam.