en | de

Einführung in Model Checking


VO1  WS 2008/2009  703503


The collection of exercises is regularly updated. The final update was on Nov 6. 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.