É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
Robotique mobile
Exploration
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