Difference between revisions of "Astrée"
Jump to navigation
Jump to search
(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...") |
(No difference)
|
Latest revision as of 22:53, 25 October 2012
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.