Formal Specification and Verification


Exercises

General instructions.

The exercises will usually be made available online on Friday evening.
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 Tuesday
(before the next exercise), before 17:00.
The solutions will be discussed on Thursday, in the exercise session.


  • Exercise sheet 1: [pdf] (Online: 29.10.2021; Due on Wednesday, 3.11.2021, 12:00)
  • Solutions to the supplementary exercises: [structure-preserving-translation-cnf.pdf]
  • Exercise sheet 2: [pdf] (Online: 4.11.2021; Due on Tuesday, November 9, 2021, 18:00)
  • Exercise sheet 3: [pdf] (Online: 10.11.2021; Due on Tuesday, November 16, 2021, 17:00)
  • Exercise sheet 4: [pdf] (Online: 17.11.2021; Due on Tuesday, November 23, 2021, 17:00)
  • Exercise sheet 5: [pdf] (Online: 24.11.2021; Due on Tuesday, November 30, 2021, 17:00)
  • Solution to exercise 5.1 [pdf]
  • Exercise sheet 6: [pdf] (Online: 1.12.2021; due on Tuesday, December 7, 2021, 16:00)
  • Exercise sheet 7: [pdf] (due on Tuesday, December 14, 2021, 17:00)
  • Exercise sheet 8: [pdf] (due on Tuesday, December 21, 2021, 17:00)
  • Exercise sheet 9: [pdf] (due on Tuesday, January 4, 2022, 17:00)
  • Solution to exercise 9.1: [pdf]
  • Exercise sheet 10: [pdf] (due on Tuesday, January 11, 2022, 17:00)
  • Exercise sheet 11: [pdf] (due on Tuesday, January 18, 2022, 17:00)
  • The part of the solution of Exercise 11.2 already discussed in the exercise on 13.01.22 (+ some additional steps): [exercise11-2-first-part.pdf]
  • Exercise sheet 12: [pdf] (due on Tuesday, January 25, 2022, 17:00)
  • Exercise sheet 13: [pdf] (due on Tuesday, February 1, 2022, 17:00)