Industrial experience of Abstract Interpretation-based static analyzers

Abstract

This paper presents two Abstract Interpretation-based static analysers used by Airbus on safety-critical avionics programs: aiT [Thesing et al., 2003], a Worst case Execution Time analyzer developed by AbsInt, and ASTRÉE [Blanchet et al., 2003], aiming at the proof of absence of Run Time Errors and developed by the École normale supérieure. © 2004 Springer Science + Business Media, Inc.