en | de

Introduction to Model Checking

master program

VO1  WS 2011/2012  703503

Exercises

The exercises are in their final version. (last update: December 9). It includes all solutions (the solution to exercise 1 is available in the full version of the slides of chapter 2, and the solution to exercise 8 is given in files loadStore and loadStore.ltl)

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.