Éric Goubault
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Interprétation abstraite
Vérification
Systèmes dynamiques
Vérification de programmes
Analyse statique
Méthodes formelles
Homologie
Homotopie
Concurrence
Algèbre
Topologie algébrique
Sûreté
Arithmétique en virgule flottante
Méthodes formelles (informatique)
Systèmes informatiques -- Mesures de sûreté
Programmation par contraintes
Topologie algébrique dirigée
Solveurs (logiciels)
Parallélisme (informatique)