67883 Automatic verification of reactive systems (Fall 2009)

Exercises

Ex 1 (due Thursday 12.11.09 (in class), 10 points bonus if you submit the solution to Part 4 before Monday 9.11.09, when I will publish a hint .)