David Monniaux: 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..."

2012-10-25T20:53:51Z

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..."

New page

'''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.

Astrée - Revision history

David Monniaux: 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..."