A static analyzer for large safety-critical software
Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jérome, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier·2003·Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation