Computer Science · Formal Methods & Verification

Abstract Interpretation

A topic within Formal Methods & Verification, itself one of 9 topics in that field and part of Computer Science.

Reading on Abstract Interpretation

2 works

Paper1977

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints

Patrick Cousot & Radhia Cousot

Formalises static analysis as computing an approximate, terminating version of a program's semantics over an abstract domain rather than running it.

link checked 17 Sept 2026

Computer Science · Formal Methods & Verification

FreeAdvanced

Paper2003

A Static Analyzer for Large Safety-Critical Software

Bruno Blanchet et al.

Reports building Astrée, an abstract-interpretation-based analyser that proved the absence of runtime errors in the flight control software of the Airbus A340, without a single false alarm on that code.

Computer Science · Formal Methods & Verification

FreeAdvanced

Reading on Abstract Interpretation

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints

A Static Analyzer for Large Safety-Critical Software

Other topics in Formal Methods & Verification