Astrée

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.