Search
loader loading subjects...
cover
A Formal Introduction to Abstract Interpretation
Authors
Patrick Cousot
Pages
9 - 27
DOI
10.3233/978-1-61499-977-5-9
Series
NATO Science for Peace and Security Series - D: Information and Communication Security
Ebook
Volume 53: Engineering Secure and Dependable Software Systems
Abstract

We introduce basic concepts of abstract interpretation using the example of arithmetic and boolean expression semantics, properties, verification, static analysis, and their formal calculational design.