LARA

Lecturecise 17: Predicate Abstraction

Abstract interpretation view: annotated slides

Explanation of reachability trees: reachability tree

Further reading

References