Formal Specification and Verification


Exercises

General instructions.

The exercises will be made available online on Wednesday evening or Thursday morning.
The solutions have to be submitted on Wednesday (in the next week), before 11:00.
The solutions will be discussed on Thursday, in the exercise session.


  • Exercise sheet 1: [pdf] (due on Wednesday, May 2, 2012, 11:00)
  • Exercise sheet 2: [pdf] (due on Wednesday, May 23, 2012, 11:00)
  • Exercise sheet 3: [pdf] (due on Wednesday, May 23, 2012, 11:00)
  • Exercise sheet 4: [pdf] (due on Wednesday, June 13, 2012, 11:00)
  • Exercise sheet 5: [pdf] (due on Wednesday, June 13, 2012, 11:00)
    11.06.2012: Added two actions in description of the problem, namely cross-lr, cross-rl
    (the ferryman crosses the river without carrying anything)
  • Exercise sheet 6: [pdf] (due on Wednesday, June 20, 2012, 11:00)
  • Exercise sheet 7: [pdf] (due on Wednesday, July 4, 2012, 11:00)
  • Exercise sheet 8: [pdf] (due on Wednesday, July 4, 2012, 11:00)
  • Exercise sheet 9: [pdf] (due on Wednesday, July 11, 2012, 11:00)