(depuis Sept. 2006)

Activités de recherche                                                    > Publications
  ° Méthodes Formelles de Génie Logiciel

Equipes :
  ° Test Formel et Exploration de Systèmes

Contact :
  

Pour en savoir plus :

° AdaCore SAS avec Vérification d'Algorithmes, Langages et Systèmes


° LSV, ENS Cachan avec Vérification d'Algorithmes, Langages et Systèmes


° System X FSF avec Vérification d'Algorithmes, Langages et Systèmes


° International Joint Project MoBasT avec Vérification d'Algorithmes, Langages et Systèmes


° GDR Informatique Mathématique