upvd

LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)

  Thèmes de recherche

  • Interprétation abstraite;
  • Nombres fixes et flottants;
  • Automates hybrides;
  • Compilation;
  • Précision numérique;
  • Preuves formelles.