Le moteur de recherche
des thèses françaises
Andreas Podelski
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Logiciels -- Vérification
Vérification de programmes
Arithmétique en virgule flottante
Logique informatique
Méthodes formelles (informatique)
Analyse statique
Polyèdres
Génération d'invariants
Model checking
Propriétés temporelles
Nombres flottants
Stratégies de recherches
Programmation par contraintes
Nombres à virgule flottante
Erreur d’arrondi
Analyse d’erreurs
Contraintes sur les erreurs
Optimisation
Erreurs d'arrondi