TY  - RPRT
TI  - A Static Analyzer for Large Safety-Critical Software
AU  - Bruno Blanchet
AU  - Patrick Cousot
AU  - Radhia Cousot
AU  - Jerôme Feret
AU  - Laurent Mauborgne
AU  - Antoine Miné
AU  - David Monniaux
AU  - Xavier Rival
PY  - 2007
DO  - 10.1145/781131.781153
UR  - https://arxiv.org/abs/cs/0701193
ID  - cs/0701193
ER  -