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

Groups:
  ° Verification of Algorithms, Languages and Systems

Contact:
  

More information:

° 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