en | de

Model Checking

master program

VO2  SS 2011  703521

Exercises

The exercises (June 16) are regularly expanded and help to understand the material of the lecture. The idea is to solve these exercises before their solutions are discussed in the lecture. Then problems that occurred can be addressed during the discussion.

The exercises are not only helpful to understand the topics of the lectures: Every presentation of a solution during the discussion-lectures will be awarded with bonus-points for the exam. (Of course, it will still be possible to get 100 % in the exam without these bonus-points.)