P. Cousot, Abstract Interpretation: Achievements and Perspectives

Patrick Cousot.
Abstract Interpretation: Achievements and Perspectives.
Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 224 and electronic proceedings http://www.ssgrr.it/en/ssgrr2000/proceedings.htm, L'Aquila, Rome, Italy, July 31 — August 6, 2000.
Paper: PDF (759 Ko)
Abstract: Computerized modern societies are highly fragile to software bugs. Traditional testing methods hardly scale up for large safety critical systems as found in avionics, automotive, healthcare, e-commerce and security industry. As a viable alternative, static analysis consists in determining and verifying statically dynamic properties of programs. This is completely automatic (since programs are not actually executed) and covers all possible cases (as opposed to testing). This approach has had significant success stories and its industrialization recently started. Since the program total verification problem is undecidable, the key idea is that of approximation, as formalized by the theory of abstract interpretation. The scope of application of abstract interpretation ranges from the theoretical design of hierarchies of the semantics of programming languages to the practical design of generic program static analyzers.
Slides of the 25mn SSGRR'00 presentation are available in 4 slides per page format .pdf (431 KB).

\bibitem{Cousot-SSGRR-00}
P{.} Cousot.
\newblock Abstract interpretation: Achievements and perspectives.
\newblock In {\em Proceedings of the SSGRR 2000 Computer \& eBusiness
  International Conference}, Compact disk paper 224 and electronic
  proceedings \url{http://www.ssgrr.it/en/ssgrr2000/proceedings.htm},
  L'Aquila, Italy, July 31 -- August 6 2000.  Scuola Superiore G{.} Reiss
  Romoli.

@inproceedings{Cousot-SSGRR-00,
   author =    {Cousot, P{.}},
   title =     {Abstract Interpretation: Achievements and Perspectives},
   booktitle = {Proceedings of the SSGRR 2000 Computer \& eBusiness 
                International Conference},
   address = {Compact disk paper 224 and electronic proceedings
   \url{http://www.ssgrr.it/en/ssgrr2000/proceedings.htm}, L'Aquila, Italy},
   publisher = {Scuola Superiore G{.} Reiss Romoli},
   month =     {July 31 -- August 6},
   year =      2000,
   isbn =      {88-85280-52-8},
}

copyright notice
Last modified: Friday, 04-May-2012 10:54:10 EDT