The ASTRÉE analyzerReportar como inadecuado

The ASTRÉE analyzer - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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

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



Documentos relacionados