Abstract Interpretation–based Formal Verification of Complex Computer Systems
4
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
4
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
« 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
Voir
- science such
- abstract interpretation
- complex computer
- such bugs
- indeed extremely hard
- embed very
- software
- very complex
- extremely sophisticated
« 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
