Catherine Dubois
Mots clés
FR |
EN
Méthodes formelles (informatique)
Vérification formelle
Méthodes formelles
Langages de programmation
Logiciels -- Vérification
Coq
Assistants de preuve
Langages de programmation -- Sémantique
Analyse statique
UML (informatique)
Ontologie
B (méthode formelle)
Isabelle/HOL
Logiciels -- Développement
Programmation parallèle (informatique)
Vérification
Méthode B
Objective Caml (langage de programmation)
Preuve de programmes
Logique