Xavier Thirioux
IdRefMots clés
FR |
EN
Vérification et validation
Objets coopérants (informatique)
Méthodes formelles (informatique)
Analyse statique
Solveurs (logiciels)
Informatique
Méthodes formelles
Bigraphes
Vérification formelle
Réseaux de neurones
Langages synchrones à flots de données
Lustre
Scade
Compilation vérifiée
Sémantique mécanisée
Vélus
Assistants de preuve interactifs
Coq
Reset modulaire
Systèmes cyber-Physique