Franck Vedrine
IdRefMots clés
FR |
EN
SystemC
Méthodes Formelles
Vérification des systèmes matériels et logiciels
Abstraction des prédicats
Exécution Symbolique
Automates
Sémantiques des langages
Méthodes formelles (informatique)
Arithmétique à virgule flottante
Diagnostic de précision
Vérification de logiciels
Arithmétique en virgule flottante
Logiciels -- Vérification
Évaluation des logiciels