Sylvie Putot
IdRefMots clés
FR |
EN
Vérification
Interprétation abstraite
Systèmes dynamiques
Programmation par contraintes
Optimisation
Arithmétique en virgule flottante
Logiciels -- Vérification
Contrôle
Méthodes formelles
Informatique
Algorithmes
Analyse statique
Méthodes formelles (informatique)
Robotique mobile
Analyse par intervalles
Génération d'invariants
Méthode formelle
Logique de Hoare
Commande prédictive
Systèmes embarqués (informatique)