PME (depuis Janv. 1970)

Activités de recherche                                                    > Publications
  ° Démonstration automatique, SMT et applications
  ° Vérification déductive de programmes

Equipes :
  ° Vérification d'Algorithmes, Langages et Systèmes

Contact :
  MARCHÉ Claude

Pour en savoir plus : https://www.adacore.com/

° 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