The ASTRÉE analyzer

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.

Data and Resources

Additional Info

Field Value
Source Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005
Author Cousot, Patrick, Cousot, Radhia, Feret, Jerôme, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier
Maintainer CCSD
Last Updated May 10, 2026, 10:06 (UTC)
Created May 10, 2026, 10:06 (UTC)
Identifier hal-00084293
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire d'informatique de l'école normale supérieure (LIENS) ; Département d'informatique - ENS-PSL (DI-ENS) ; École normale supérieure - Paris (ENS-PSL) ; Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL) ; Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)
creator Cousot, Patrick
date 2005-05-10T00:00:00
harvest_object_id 038113cf-eddd-4f77-8a65-3ea1b7ca0b51
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-03-23T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1007/b107380
set_spec type:COMM