Formal Specification and Verification


Exercises

General instructions.

The exercises will be made available online on Thursday evening or Friday morning.
If nothing else is specified on the exercise sheet, the solutions have to be submitted
on Wednesday (before the next exercise), before 11:00.
The solutions will be discussed on Thursday, in the exercise session.


  • Exercise sheet 1: [pdf] (due on Wednesday, April 24, 2013, 11:00)
  • Exercise sheet 2: [pdf] (due on Monday, May 6, 2013, 18:00)
  • Exercise sheet 3: [pdf] (due on Monday, May 6, 2013, 18:00)
  • Exercise sheet 4: [pdf] (due on Monday, May 27, 2013, 18:00)
  • Exercise sheet 5: [pdf] (due on Monday, May 27, 2013, 18:00)
  • Exercise sheet 6: [pdf] (due on Wednesday, June 12, 2013, 10:00)
  • Exercise sheet 7: [pdf] (due on Wednesday, June 26, 2013, 11:00)
  • Exercise sheet 8: [pdf] (due on Wednesday, June 26, 2013, 11:00)
  • Exercise sheet 9: [pdf] ( Extended: due on Wednesday, July 3, 2013, 18:00) (updated version!)
  • Exercise sheet 10: [pdf] (due on Wednesday, July 10, 2013, 14:00)
  • Exercise sheet 11: [pdf] (due on Wednesday, July 17, 2013, 16:00)