Astrée

Known as: Astree 
Astrée is a static analyzer based on abstract interpretation. It analyzes programs written in the C programming language and outputs an exhaustive… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2001-2017
02420012017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Safety-critical embedded software has to satisfy stringent quality requirements. Testing and validation consumes a large – and… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
ASTRÉE was the first static analyzer able to prove automatically the total absence of runtime errors of actual industrial… (More)
  • figure 4
  • figure 5
  • figure 8
  • figure 9
  • figure 10
Is this relevant?
2009
2009
Interpretation Based Static Analyzers. In 
Is this relevant?
2007
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
Airbus has started introducing abstract interpretation based static analysers into the verification process of some of its… (More)
  • table 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We describe the structure of the abstract domains in the Astrée static analyzer, their modular organization into a hierarchical… (More)
  • figure 1
Is this relevant?
2005
2005
Static analyzers like Astrée are incomplete, hence, may produce false alarms. We propose a framework for the investigation of the… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
The Astrée static analyzer is a specialized tool that can prove the absence of runtime errors, including arithmetic overflows, in… (More)
  • figure 1
Is this relevant?
2004
2004
Everybody knows about failure problems in software: it is an admitted fact that most large software do contain bugs. The cost of… (More)
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This article presents the octagon abstract domain, a relational numerical abstract domain for static analysis by abstract… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?