1. The ASTRÉE Static Analyzer,
www.astree.ens.fr
2. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proc. ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), San Diego, California, USA, June 7–14, pp. 196–207. ACM Press, New York (2003)
3. Cousot, P.: Méthodes itératives de construction et d’approximation de points fixes d’opérateurs monotones sur un treillis, analyse sémantique de programmes. Thèse d’État ès sciences mathématiques, Université scientifique et médicale de Grenoble, Grenoble, March 21 (1978)
4. Cousot, P.: Types as abstract interpretations. In: 24
$^{\mathit{th}}$
POPL, January 1997, pp. 316–331. ACM Press, Paris (1997) (invited paper)
5. NATO Science Series, Series F: Computer and Systems Sciences;P. Cousot,1999