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 -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents