David Delahaye
IdRefMots clés
FR |
EN
Théorèmes -- Démonstration automatique
Logique
Vérification
Déduction automatique
Logique du premier ordre
Méthodes formelles
Assistants de preuve
Méthode B
Coq
B (méthode formelle)
Logiciels -- Développement
Logique mathématique
Méthodes formelles (informatique)
Superdéduction
Règles de l'Atelier B
Bureautique
Déduction (logique)
Satisfiability Modulo Theories (SMT)
Superposition
Méthode des tableaux