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