Some ways to reduce the space dimension in polyhedra computations

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Mathematical Programming, Linear Restraints, Engineering +23

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer · 1997 · 771 citations

Engineering, Verification, Formal Methods +7

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 572 citations

Program Checking, Engineering, Verification +22

Affine relationships among variables of a program

Michael Karr · Acta Informatica · 1976 · 430 citations

Mathematical Programming, Engineering, Program Analysis +8

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 303 citations · Full text

Program Checking, Engineering, Verification +22