LARA

More On Abstract Interpretation. Predicate Abstraction

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

References