Research activities:                                                    > Publications
  ° Automated Proof, SMT and Applications
  ° Deductive Verification of Programs

Groups:
  ° Verification of Algorithms, Languages and Systems

Contact:
  MARCHÉ Claude

More information: https://www.adacore.com/

° AdaCore SAS avec Verification of Algorithms, Languages and Systems


° LSV, ENS Cachan avec Verification of Algorithms, Languages and Systems


° System X FSF avec Verification of Algorithms, Languages and Systems


° International Joint Project MoBasT avec Verification of Algorithms, Languages and Systems


° GDR Informatique Mathématique