LARA

This is an old revision of the document!


More On Abstract Interpretation. Predicate Abstraction

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

References