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.
Session Chair: Hausi Müller, University of Victoria, Canada
ICSME 2014 General Chair