Pascal Fontaine
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Théorèmes -- Démonstration automatique
SMT
Solveurs (logiciels)
Vérification
Vérification de modèles (informatique)
Raisonnement automatique
Assistants de preuve
Méthodes formelles
Logique mathématique
Instanciation des quantificateurs
Vérification formelle
Solveurs linéaires parallèles
Satisfiability Modulo Theories (SMT)
Superposition
Méthode des tableaux
Preuve formelle
Unification
Réécriture, Systèmes de (informatique)
Logique du premier ordre