Formal Specification and Verification


Exercises

General instructions.

The exercises will usually 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, May 7, 2014, 11:00)
  • Exercise sheet 2: [pdf] (due on Wednesday, May 14, 2014, 11:00)
  • Exercise sheet 3: [pdf] (due on Wednesday, May 21, 2014, 11:00)
  • Exercise sheet 4: [pdf] (due on Wednesday, June 4, 2014, 11:00)
  • Exercise sheet 5: [pdf] (due on Wednesday, June 25, 2014, 11:00)
  • Exercise sheet 6: [pdf] (due on Wednesday, July 2, 2014, 11:00)
  • Exercise sheet 7: [pdf] (due on Wednesday, July 9, 2014, 11:00)
  • Exercise sheet 8: [pdf] (due on Wednesday, July 16, 2014, 11:00)
  • Exercise sheet 9: [pdf] (due on Thursday, July 24, 2014, 10:00)
  • Exercise sheet 10 (supplementary) [pdf]
  • Solution: [solution-exercise10.pdf]