This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Patrick Cousot
A grouping.
Patrick Cousot, with Radhia Cousot on two of the three: abstract interpretation as the corpus holds it, from the 1977 lattice-of-approximations paper to the 2010 gentle introduction. Three records.
3 references
A gentle introduction to formal verification of computer systems by abstract interpretation
Patrick Cousot and others (2010) · Logics and Languages for Reliability and Security · IOS Press
Verification by Abstract Interpretation
Patrick Cousot (2003) · Verification: Theory and Practice, Essays Dedicated to Zohar Manna · Springer Science+Business Media
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot and others (1977) · 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery