The ASTRÉE analyzer - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

The ASTRÉE analyzer

Résumé

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.
Fichier principal
Vignette du fichier
Static_analyzer_ESOP05.pdf (1.19 Mo) Télécharger le fichier
Loading...

Dates et versions

hal-00084293 , version 1 (07-07-2006)

Identifiants

Citer

Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, et al.. The ASTRÉE analyzer. 2005, pp.21, ⟨10.1007/b107380⟩. ⟨hal-00084293⟩
207 Consultations
332 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More