Lab for Automated Reasoning and Analysis LARA

Exercises 10

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:

sav10/exercises_10.txt · Last modified: 2010/04/28 20:39 by piskac