Agence Nationale de la Recherche
(ANR)
Titre: Vérification de systèmes de contrôle
Acronyme : Controvert
Rubrique : ARA SSIA 2005
Coordinateur:
P. Cousot (ENS Ulm, DI)
Période : 2005 - 2008.
Partenaires :
Ecole Normale Supérieure, rue d'Ulm, DI
(P. Cousot, R. Cousot).
Université Paul Sabatier, IMT (P. Apkarian, D. Noll),
Publications : Voir les sites
de P. Apkarian,
D. Noll,
P. Cousot,
R. Cousot
Poster:
pdf
Talk:
movie