P. Cousot, Improving Systems Quality - Challenges and Trends - An Abstract Interpretation Perspective

Patrick Cousot.
Improving Systems Quality — Challenges and Trends — An Abstract Interpretation Perspective, Invited talk.
Remise de la médaille d'argent du CNRS à Joseph SIFAKIS , Grenoble, France Thursday 11 April 2002.
Abstract: A very informal introduction to the rapid evolution of computers and their software, to the software verification problem, to formal methods (deductive methods, model-checking and static analysis) with of few societal, research management, industrialization, educational and scientific challenges.
Slides of the 20mn talk .pdf ;

Bibliography:

\bibitem{Cousot02-SIFAKIS02}
P{.} Cousot.
\newblock Improving Systems Quality --- Challenges and Trends --- An
   Abstract Interpretation Perspective, Invited talk.
\newblock \emph{Remise de la m\'edaille d'argent du CNRS \`a Joseph
   \textsc{Sifakis}}, Grenoble, France Thursday 11 April 2002.

@unpublished{Cousot02-ETAPS02,
   author =  {P{.} Cousot},
   title = {Improving Systems Quality --- Challenges and Trends --- An
            Abstract Interpretation Perspective, Invited talk},
   note = {\emph{Remise de la m\'edaille d'argent du CNRS \`a Joseph
           \textsc{Sifakis}} (ETAPS 2002), Grenoble, France Thursday 11 April 2002.},
}

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