Georges Gonthier
IdRefMots clés
FR |
EN
Preuves formelles
Mathématiques formelles
Algorithmes certifiés
Coq
Algèbre linéaire
Calculs efficaces vérifiés
Homologie
Formalisme (mathématiques)
Coq (logiciel)
Communication synchrone
Esterel (langage de programmation)
Ordonnancement (informatique)
Temps réel (informatique)
Compilation (informatique)
Parallélisme (informatique)
Complexité asymptotique
Logiques de programme
Logique de séparation
Méthodes formelles (informatique)
Algorithmes