Pierre-Loïc Garoche
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Vérification
Vérification formelle
Temps réel (informatique)
Méthodes formelles (informatique)
Arithmétique en virgule flottante
Commande automatique
Systèmes temps-réel
Temps d'exécution logique
Langages synchrone-réactifs
Langages de programmation -- Sémantique
Validation
Analyse statique
Commande prédictive
Interprétation abstraite
Algorithmes
Arithmétique flottante
Erreur d'arrondi
Précision numérique
Erreurs d'arrondi