Decision Procedures for Verification


Exercises

General instructions.

The exercises will be made available online on Monday evening or Tuesday morning.
The solutions have to be submitted on Friday, the same week, before 17:00.
The solutions will be discussed the next Monday, in the exercise session.

Joint solutions prepared by up to two persons are allowed (but not encouraged).


  • Exercise sheet 1: [pdf] (due on Friday, October 21, 2011, 17:00)
  • Exercise sheet 2: [pdf] (due on Friday, October 28, 2011, 17:00)
  • Exercise sheet 3: [pdf] (due on Friday, November 4, 2011, 17:00)
  • Exercise sheet 4: [pdf] (due on Friday, November 11, 2011, 17:00)
  • Exercise sheet 5: [pdf] (due on Friday, November 18, 2011, 17:00)
  • Exercise sheet 6: [pdf] (due on Friday, November 25, 2011, 17:00)
  • Exercise sheet 7: [pdf] (due on Friday, December 2, 2011, 17:00)
  • Exercise sheet 8: [pdf] (due on Friday, December 9, 2011, 17:00)
  • Exercise sheet 9: [pdf] (due on Friday, December 16, 2011, 17:00)
  • Exercise sheet 10: [pdf] (due on Friday, January 13, 2012, 17:00)
  • Exercise sheet 11: [pdf] (due on Friday, January 20, 2012, 17:00)
  • Exercise sheet 12: [pdf] (due on Friday, January 27, 2012, 17:00; additions allowed until Sunday, January 29, 2012, 17:00)
  • Exercise sheet 13: [pdf] (due on Friday, February 3, 2012, 17:00; additions allowed until Sunday, February 5, 2012, 17:00)