P. Cousot, A Tutorial on Abstract Interpretation

Patrick Cousot.
A Tutorial on Abstract Interpretation.
In VMCAI'05 Industrial day on Automatic Tools for Program Verification, Maison des Polytechniciens, Paris, France, January 20, 2005.
Abstract:
Abstract Interpretation is a theory of approximation of mathematical structures, in particular those involved in the semantic models of computer systems. Abstract interpretation can be applied to the systematic construction of methods and effective algorithms to approximate undecidable or very complex problems in computer science such that the semantics, the proof, the static analysis, the verification, the safety and the security of software or hardware computer systems. In particular, abstract interpretation-based static analysis, which automatically infers dynamic properties of computer systems, has been very successful these last years to automatically verify complex properties of real-time, safety critical, embedded systems.
Slides of the 90mn presentation: .pdf.gz.

Bibliographic reference:

\bibitem{Cousot05-VMCAI-tools}
P.~Cousot.
\newblock A Tutorial on Abstract Interpretation.
\newblock In \emph{VMCAI'05 Industrial day on Automatic Tools for Program Verification}, 
          Maison des Polytechniciens, Paris, France, January 20, 2005.

@inproceedings{Cousot05-VMCAI-tools,
   author =    {Cousot, P{.}},
   title =     {A Tutorial on Abstract Interpretation},
   booktitle = {VMCAI'05 Industrial day on Automatic Tools for Program Verification},
   address =   {Maison des Polytechniciens, Paris, France},
   month =     jan # " 20",
   year =      2005,
}

copyright notice
Last modified: Monday, 07-May-2012 17:51:05 EDT