Laura Titolo
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Arithmétique des ordinateurs
Précision numérique
Analyse statique
Génération des contraintes
Solveur SMT
Solveur LP
Itération sur les politiques
Arithmétique interne des ordinateurs
Systèmes adaptatifs (technologie)
Solveurs (logiciels)
Arithmétique à virgule flottante
Diagnostic de précision
Vérification de logiciels
Arithmétique en virgule flottante
Évaluation des logiciels