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