2014 Harlan Mills Award

2014 Harlan D. Mills Joint Award Recipients

Patrick Cousot & Radhia Cousot

 

Abstract Interpretation: From Theory to Tools

We introduce the main fundamental ideas behind the theory of abstract interpretation very informally, just to explain principles rather than technical details. Then we discuss automatic tools like Astrée and Clousot and explain how they are used for the development and maintenance of large software. This is compared with other formal methods.

More Details at IEEE Technical Awards


Session Chair: Hausi Müller, University of Victoria, Canada
ICSME 2014 General Chair