Industrial Experience of Abstract Interpretation-Based Static Analyzers
Jean Souyris · 2008
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 superieure.