This is an old revision of the document!

---

Examples of Abstract Interpretation

Predicate Abstraction and Blast: Guest Lecture by Prof. Dirk Beyer