Thérèse Accart Hardin
IdRefMots clés
FR |
EN
Déduction modulo
Récurrence noethérienne
Réécriture, Systèmes de (informatique)
Théorie de la démonstration
Logiciels -- Développement
Langages synchrones
Lucid Synchrone
Systèmes informatiques -- Mesures de sûreté
Sémantique
Systèmes informatiques, sûreté de fonctionnement
Programmes, analyse statique
Résolution de contraintes
Déduction Automatique
Déduction Modulo Théorie
Méthode B
Certification de Preuve
Méthode des Tableaux
B (méthode formelle)
Langages fonctionnels
Langage Lustre