next up previous
Suivant: Avancement Retour: Présentation du Sujet Précédent: Systèmes mobiles

Interprétation Abstraite

L'Interprétation Abstraite [4] est une théorie de l'approximation. Elle permet de calculer des propriétés sur des programmes de manière automatique et sans les exécuter. Les résultats obtenus sont sûr, mais ils ne sont pas complets. Ainsi, les analyses ne donnent pas toutes les propriétés des programmes mais les propriétés calculées sont vraies. Ceci permet de répondre partiellement à des problèmes non décidables. Un cadre très général de l'Interprétation Abstraite est présenté dans [5]. Il permet d'assouplir certaines hypothèses du cadre initial, qui ne sont en général pas vérifiées lors des analyses de systèmes mobiles.



Jerome Feret
2000-11-02