Labs 11: Abstract Interpretation Framework
Continuing Exercise 11
Abstract Interpretation of Transition System
Using Galois Connection in Abstraction Interpretation
Abstract Interpretation Recipe
Continued in Lecture 12
References
- Lecture notes on static analysis by Michael Schwartzbach (sections 4,5,6,7 in particular), and pdf file
- Tiger book, chapters 10, 17
- Abstract Interpretation in a Nutshell by Patrick Cousot (also a course at MIT)