Exercises 10
Solutions of Homework 02 and Homework 03
About Quiz
The quiz covers the material from Lecture 04 until the last lecture, including e.g. symbolic execution, abstract interpretation, and quantifier elimination.
It is understood that you also know how to use sets, relations, and first-order logic, where needed.
You can take with you:
- printed lecture notes, including all research papers and materials to which we link from the course web page