Background: abstract

Static analysis is property extraction from formal systems. Abstract interpretation is a foundation for static analysis based on Galois connections, semi-homomorphisms, and fixed-point calculation. In this talk, we introduce abstract interpretation apply it to static analyses of program semantics (state-transition systems, equationally specified definitions, rule-based relational definitions) survey applications of static analysis develop the correspondence of properties to propositions consider approaches to modular, “scalable ” analyse