Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Abstract Interpretation–based Formal Verification of Complex Computer Systems

De
4 pages
« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology cousot mit edu École normale supérieure, Paris, France Patrick.Cousot ens fr Minta Martin Lecture, May 13th, 2005 ,Minta Martin Lecture, MIT, May 13th, 2005 — 1 — ? P. Cousot

  • science such

  • abstract interpretation

  • complex computer

  • such bugs

  • indeed extremely hard

  • embed very

  • software

  • very complex

  • extremely sophisticated


Voir plus Voir moins
« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology cousot mitedu www.mit.edu/cousot ~ École normale supérieure, Paris, France Patrick.Cousot ensfr www.di.ens.fr/cousot ~ th Minta Martin Lecture, May 13, 2005 th ,Minta Martin Lecture, MIT, May 13, 2005— 1 —ľP. Cousot
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin