Patrick Cousot.<bR> Abstract Interpretation: From Theory to Tools.

Patrick Cousot.
Abstract Interpretation: From Theory to Tools.
In 30th International Conference on Software Maintenance and Evolution, Harlan D. Mills Award, Victoria, City of Gardens, British Columbia, Canada, October 1--3, 2014.
Abstract: 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/cccheck and explain how they are used for the development and maintenance of large software. This is compared with other formal methods.
Categories and Subject Descriptors: D.2.4 [Software/Program Verification];
D.3.1 [Formal Definitions and Theory];
F.3.1 [Specifying and Verifying and Reasoning about Programs].
General Terms: Languages, Reliability, Security, Theory, Verification.
Keywords: Abstract Interpretation, Safety, Security, Static analysis, Verification.
Slides of the 25mn ICSME 2014 plenary presentation are available in US Letter 4 slides/page PDF (12.2 Mb) and 1 slide/page PDF (12.2 Mb)

Bibliographic reference:

\bibitem{Cousot-ICSME-2014}
P.~Cousot
\newblock Abstract Interpretation: From Theory to Tools.
\newblock In \emph{30th International Conference on Software Maintenance and Evolution}, 
           Harlan D. Mills Award, Victoria, British Columbia, Canada, January 20-21, 2014.

@unpublished{Cousot-ICSME-2014,
  author    = {Patrick Cousot},
  title     = {Abstract Interpretation: From Theory to Tools},
  booktitle = {30th International Conference on Software Maintenance and Evolution, 
               Harlan D. Mills Award,
               Victoria, British Columbia, Canada, January 20-21, 2014},
  year      = {2014},
  pages     = {3--4},
  year      = {2014},
}

Last modified: Thu Oct 2 14:31:17 EDT 2014