en | de

Model Checking

master program

VO2  SS 2010  703521


There will be exercises which will be 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.)