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)
Assistants de preuve
Théorèmes -- Démonstration automatique
Vérification formelle
Logiciels -- Vérification
Vérification
Solveurs (logiciels)
Systèmes informatiques -- Mesures de sûreté
Algorithmes
SMT
Langages de programmation -- Sémantique
Temps réel (informatique)
Traitement réparti
Coq
Preuve formelle
B (méthode formelle)
Concurrence
Interprétation abstraite