Why does Astrée scale up?

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

Computing, Computer Science, Mathematics +17

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

Computing, Computer Engineering, Computer Science +15

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Computing, Computer Science, Data Mining +10