Interprétation abstraite application aux logiciels de l'A380

Niveau: Supérieur

• exposé

« Interprétation abstraite : application aux logiciels de l'A380 » Patrick Cousot Professeur d'informatique École normale supérieure 45 rue d'Ulm, 75230 Paris cedex 05, France oc ro. fs eC @ .t si urt kaP n Exposé sur des questions d'actualité — Académie des Sciences — 6 juin 2006 6 juin 2006 — 1 — ? P. Cousot

• programmes de contrôle


• correct approximation


• approximation


• vérification du logiciel de commande de vol électrique de l'a380


• preuve formelle de correction


• méthodes de preuve de la correction des programmes


• application aux logiciels de l'a380