Le moteur de recherche
des thèses françaises
Catherine Dubois
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification formelle
Méthodes formelles
Assistants de preuve
Langages de programmation
Logiciels -- Vérification
Langages de programmation -- Sémantique
Coq
Systèmes informatiques -- Mesures de sûreté
Génie logiciel
Ontologie
Analyse statique
Isabelle/HOL
UML (informatique)
Logiciels -- Développement
B (méthode formelle)
Objective Caml (langage de programmation)
Code source (informatique)
Programmation parallèle (informatique)
Vérification