Jasmin Blanchette
Mots clés
FR |
EN
SMT
Méthodes formelles (informatique)
Méthodes formelles
Raisonnement automatique
Vérification de modèles (informatique)
Logique mathématique
Vérification
Solveurs (logiciels)
Assistants de preuve
Logique d'ordre supérieur
Techniques d'implémentation
Instanciation des quantificateurs
Apprentissage automatique
Vérification formelle
Solveurs linéaires parallèles
Calcul des prédicats
Prouveur interactif
Théorèmes -- Démonstration automatique
Logique d'ordre supérieure
Preuve automatique