Le moteur de recherche
des thèses françaises
Damien Doligez
IdRefMots clés
FR |
EN
Déduction automatique
Méthode B
B (méthode formelle)
Théorèmes -- Démonstration automatique
Vérification
Superdéduction
Règles de l'Atelier B
Coq
Bureautique
Déduction (logique)
Déduction Automatique
Déduction Modulo Théorie
Certification de Preuve
Méthode des Tableaux
Logiciels -- Développement
Satisfiability Modulo Theories (SMT)
Superposition
Méthode des tableaux
Preuve formelle
Unification