ASTREE

The ASTREÉ 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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 113 articles , 3 standard articles )

Showing results 101 to 113 of 113.
Sorted by year (citations)

previous 1 2 3 4 5 6

  1. Miné, Antoine: Symbolic methods to enhance the precision of numerical abstract domains (2006)
  2. Miné, Antoine: The octagon abstract domain (2006)
  3. Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti: Static analysis in disjunctive numerical domains (2006)
  4. Cousot, Patrick: Integrating physical systems in the static analysis of embedded control software (2005)
  5. Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier: The ASTREÉ analyzer (2005)
  6. Mauborgne, Laurent; Rival, Xavier: Trace partitioning in abstract interpretation based static analyzers (2005)
  7. Monniaux, David: The parallel implementation of the astrée static analyzer (2005)
  8. Rival, Xavier: Abstract dependences for alarm diagnosis (2005)
  9. Rival, Xavier: Understanding the origin of alarms in Astrée (2005)
  10. Sagiv, Mooly (ed.): Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. (2005)
  11. Yi, Kwangkeun (ed.): Programming languages and systems. Third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2--5, 2005. Proceedings (2005)
  12. Rival, Xavier: Certification of compiled assembly code by invariant translation (2004) ioport
  13. Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier: Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software (2002)

previous 1 2 3 4 5 6