Astrée
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
- 2010
Safety-critical embedded software has to satisfy stringent quality requirements. Testing and validation consumes a large – and… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
- Formal Methods in System Design
- 2009
ASTRÉE was the first static analyzer able to prove automatically the total absence of runtime errors of actual industrial… (More)
Is this relevant?
2009
2009
- Softwaretechnik-Trends
- 2009
Interpretation Based Static Analyzers. In
Is this relevant?
2007
2007
- SAFECOMP
- 2007
Astrée is a parametric Abstract Interpretation based static analyser that aims at proving the absence of RTE (Run-Time Errors) in… (More)
Is this relevant?
Review
2007
Review
2007
- SAS
- 2007
Airbus has started introducing abstract interpretation based static analysers into the verification process of some of its… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
- ASIAN
- 2006
We describe the structure of the abstract domains in the Astrée static analyzer, their modular organization into a hierarchical… (More)
Is this relevant?
2005
2005
- SAS
- 2005
Static analyzers like Astrée are incomplete, hence, may produce false alarms. We propose a framework for the investigation of the… (More)
Is this relevant?
2005
2005
- APLAS
- 2005
The Astrée static analyzer is a specialized tool that can prove the absence of runtime errors, including arithmetic overflows, in… (More)
Is this relevant?
2004
2004
- IFIP Congress Topical Sessions
- 2004
Everybody knows about failure problems in software: it is an admitted fact that most large software do contain bugs. The cost of… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
- WCRE
- 2001
This article presents the octagon abstract domain, a relational numerical abstract domain for static analysis by abstract… (More)
Is this relevant?