Cette U.E. vise a introduire, au travers d'exemples, les techniques de base de l'analyse statique par interprétation abstraite.
Expérience du responsable dans le domaine de l’UE
Mes thèmes de recherche s'articulent autour de la définition de sémantiques formelles et de l'utilisation de ces sémantiques pour garantir (par la preuve) des propriétés de programmes, notamment dans le domaine de la sécurité (controle d'accès). L'analyse statique par interprétation abstraite s'inscrit dans ce thème puisque les techniques mises en oeuvre reposent sur la definition d'une sémantique abstraite prouvée correcte par rapport à la sémantique concrète.
