Abstract Interpretation–based Formal Verification of Complex Computer Systems

Patrick Cousot

Description

« 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

Sujets

• Abstract interpretation
• Software

Informations

• Publié par: pefav
• Nombre de lectures: 7
• Langue: English

Extrait

« 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