The ASTRÉE analyzer

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

doi:10.1007/978-3-540-31987-0_3

The ASTRÉE analyzer

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

Computer Science

Research output: Contribution to journal › Conference article › peer-review

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.

Original language	English (US)
Pages (from-to)	21-30
Number of pages	10
Journal	Lecture Notes in Computer Science
Volume	3444
DOIs	https://doi.org/10.1007/978-3-540-31987-0_3
State	Published - 2005
Event	14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 - Edinburgh, United Kingdom Duration: Apr 4 2005 → Apr 8 2005

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-31987-0_3

Cite this

@article{98e19ed52e984f7e8c48c14a16a2bfa2,

title = "The ASTR{\'E}E analyzer",

abstract = "ASTR{\'E}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.",

author = "Patrick Cousot and Radhia Cousot and Jer{\^o}me Feret and Laurent Mauborgne and Antoine Min{\'e} and David Monniaux and Xavier Rival",

year = "2005",

doi = "10.1007/978-3-540-31987-0_3",

language = "English (US)",

volume = "3444",

pages = "21--30",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Conference date: 04-04-2005 Through 08-04-2005",

}

TY - JOUR

T1 - The ASTRÉE analyzer

AU - Cousot, Patrick

AU - Cousot, Radhia

AU - Feret, Jerôme

AU - Mauborgne, Laurent

AU - Miné, Antoine

AU - Monniaux, David

AU - Rival, Xavier

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=24644450827&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=24644450827&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-31987-0_3

DO - 10.1007/978-3-540-31987-0_3

M3 - Conference article

AN - SCOPUS:24644450827

SN - 0302-9743

VL - 3444

SP - 21

EP - 30

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Y2 - 4 April 2005 through 8 April 2005

ER -

The ASTRÉE analyzer

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this