Xavier Thirioux
Mots clés
FR |
EN
Informatique
Analyse statique
Solveurs (logiciels)
Méthodes formelles
Vérification et validation
Méthodes formelles (informatique)
Objets coopérants (informatique)
Réseaux de neurones
Bigraphes
Non fourni
Systèmes embarqués (informatique)
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