WS 2014/15: Decision Procedures for Verification

Exercise sheets

  • Exercise sheet 1 [ex1.pdf]
  • Exercise sheet 2 [ex2.pdf] (5.11.2014: change in Exercise 2.2 and additional hint in Exercise 2.5).
  • Exercise sheet 3 [ex3.pdf]
  • Exercise sheet 4 [ex4.pdf]
  • Exercise sheet 4 (continued) [ex4-2.pdf] (will be discussed on Thu 27.11.2014)
  • Exercise sheet 5 [ex5.pdf] (due on Wed 3.12.2014; will be discussed on Thu 4.12.2014)
  • Exercise sheet 6 [ex6.pdf] (due on Wed 10.12.2014; will be discussed on Thu 11.12.2014)
  • Exercise sheet 7 [ex7.pdf] (due on Wed 17.12.2014; will be discussed on Thu 18.12.2014)
  • Exercise sheet 8 [ex8-part1.pdf] (part 1)
  • Exercise sheet 8 (continued) [ex8-part2.pdf] (part 2)
  • Exercise sheet 9 [ex9.pdf]
  • Exercise sheet 10 [ex10.pdf]
  • Exercise sheet 11 [ex11.pdf]
  • Exercise sheet 12 [ex12.pdf]
    • Collection of exercises
  • Part 1: [collection-of-exercises-part1.pdf]
  • Part 2: [collection-of-exercises-part2.pdf]