Equipe-projet

CELTIQUE

Certification de logiciel par analyse sémantique
Certification de logiciel par analyse sémantique

Le programme de recherche de l'équipe Celtique vise à proposer des méthodes de certification sémantique de logiciels à l'aide d'analyse sémantique. Les techniques d'analyse sémantique permettent d'obtenir une description approchée du comportement d'un logiciel (valeurs et relations en tre entités numériques, flot de contrôle, état de la mémoire). La certificaiton de logiciel peut s'paauyer sur cette information, d'une part pour générer des données de test et d'autre part pour construire des certificats, prouvant formellement que le logiciel respecte une propriété donnée. Cela permet notamment de sécuriser le code mobile destiné à être télé-chargé sur des ordinateurs, des PDA, etc.

Centre(s) inria
Rennes - Bretagne Atlantique
En partenariat avec
Université Rennes 1,École normale supérieure de Rennes

Membres

Responsable de l'équipe

Gosselin Lemaile

Assistant(e) de l'équipe