View source for Astrée

'''Astrée''' is a static analysis tool developed at [[wikipedia:École Normale Supérieure]] (ENS) in Paris by a joint ENS/[[wikipedia:CNRS|CNRS]]/[[wikipedia:INRIA|INRIA]] team led by [[wikipedia:Patrick Cousot|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 [http://www.absint.de/astree Absint GmbH].

[[User:David Monniaux|David Monniaux]], principal investigator for STATOR, was previously one of the developers of the Astrée tool.