Program verification via iterated specialization

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

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

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1994 · 1.3K citations

Computing, Computer Science, Formal Methods +11

The software model checker Blast

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala et al. · International Journal on Software Tools for Technology Transfer · 2007 · 594 citations

Computing, Computer Engineering, Computer Science +10