Formal Specification and Verification


Exercises

General instructions.

The exercises will usually be made available online on Thursday evening or Friday morning.
Submission of solutions is not mandatory, but if you want to submit your solutions then - if
nothing else is specified on the exercise sheet - they 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, November 2, 2016, 11:00)
  • Solutions to the supplementary exercises: [structure-preserving-translation-cnf.pdf]
  • Exercise sheet 2: [pdf] (due on Wednesday, November 16, 2016, 11:00)
  • Exercise sheet 3: [pdf] (due on Wednesday, November 30, 2016, 12:00)
  • Exercise sheet 4: [pdf] (due on Wednesday, December 14, 2016, 12:00)
  • Exercise sheet 5: [pdf] (due on Wednesday, January 18, 2017, 12:00)
  • Exercise sheet 6: [pdf] (due on Wednesday, January 25, 2017, 12:00)
  • Solution to exercise 6.1: [pdf]
  • Solution to exercise 6.2: [pdf] ; filesnusmv.zip
  • Solution to exercise 6.3: [pdf]
  • Exercise sheet 7: [pdf] (due on Wednesday, February 8, 2017, 12:00)
  • Solution to exercise 7.1: [pdf]
  • Exercise sheet 8: [pdf] (due on Wednesday, February 15, 2017, 12:00)
  • Solution: [solution-exercise8-1.pdf]