Pascal Fontaine
Mots clés
FR |
EN
Méthodes formelles (informatique)
Théorèmes -- Démonstration automatique
Solveurs (logiciels)
SMT
Vérification de modèles (informatique)
Vérification
Instanciation des quantificateurs
Vérification formelle
Méthodes formelles
Raisonnement automatique
Logique mathématique
Assistants de preuve
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