Le moteur de recherche
des thèses françaises
Stephan Merz
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Vérification de modèles (informatique)
Vérification formelle
Vérification
Théorèmes -- Démonstration automatique
Systèmes informatiques -- Mesures de sûreté
Algorithmes
Solveurs (logiciels)
Temps réel (informatique)
Logiciels -- Vérification
SMT
Assistants de preuve
Coq
Langages de programmation -- Sémantique
B (méthode formelle)
Concurrence
Instanciation des quantificateurs
Raisonnement automatique
Logique mathématique