Astrée

From STATOR
Revision as of 21:53, 25 October 2012 by David Monniaux (talk | contribs) (Created page with "'''Astrée''' is a static analysis tool developed at wikipedia:École Normale Supérieure (ENS) in Paris by a joint ENS/wikipedia:CNRS/wikipedia:INRIA team led b...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Astrée is a static analysis tool developed at wikipedia:École Normale Supérieure (ENS) in Paris by a joint ENS/CNRS/INRIA team led by Pr Patrick Cousot.

Astrée aims at soundness and is especially tuned for the analysis of control software for e.g. aerospace applications.

It is available commercially from Absint GmbH.

David Monniaux, principal investigator for STATOR, was previously one of the developers of the Astrée tool.