Fiche d'un projet ANR
899L?objectif du projet est d?explorer l?application de techniques de vérification de programme de type " software model checking " à la vérification automatique de règles métier [En savoir plus]DECIDE - ANR-05-RNTL-0004
RNTL - 2005