WS 2016/17: Decision Procedures for Verification
Exercise sheets
Solution of the exercise with the Nelson-Oppen procedure discussed in the question-answer session:
[solution-nelson-oppen.pdf]
Collection of exercises
Part 1: [collection-of-exercises-part1.pdf]
Part 2: [collection-of-exercises-part2.pdf]