The ASTRÉE analyzerReport as inadecuate

The ASTRÉE analyzer - Download this document for free, or read online. Document in PDF available to download.

1 LIENS - Laboratoire d-informatique de l-école normale supérieure

Abstract : Astrée is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C programming language. It has been applied with success to large embedded control-command safety-critical real-time software generated automatically from synchronous specifications, producing a correctness proof for complex software without any false alarm in a few hours of computation.

Keywords : program analysis static analysis abstract interpretation numerical computations floating-point digital filters octagons

Author: Patrick Cousot - Radhia Cousot - Jerôme Feret - Laurent Mauborgne - Antoine Miné - David Monniaux - Xavier Rival -



Related documents