Le moteur de recherche
des thèses françaises
Chantal Keller
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Assistants de preuve
SMT
Méthodes formelles
Vérification de modèles (informatique)
Logique informatique
Certificats
Raisonnement automatique
Logique mathématique
Logique
Langages de programmation
Théorie de la démonstration
Théorèmes -- Démonstration automatique
Vérification
Solveurs (logiciels)
Preuves formelles
Assistants de preuve et prouveurs automatiques
Théorie des types
Logique d'ordre supérieur
Techniques d'implémentation