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