×

zbMATH — the first resource for mathematics

The ASTREÉ analyzer. (English) Zbl 1108.68422
Sagiv, Mooly (ed.), Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25435-8/pbk). Lecture Notes in Computer Science 3444, 21-30 (2005).
Summary: 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.
For the entire collection see [Zbl 1068.68008].

MSC:
68N99 Theory of software
Software:
ASTREE
PDF BibTeX XML Cite
Full Text: DOI