Le moteur de recherche
des thèses françaises
Jean-Christophe Filliâtre
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Logique de séparation
Méthodes formelles (informatique)
Informatique
Vérification de programmes
Interprétation abstraite
OCaml
Objective Caml (langage de programmation)
Méthodes formelles
Propriétés relationnelles
C (langage de programmation)
Vérification déductive
Why3
Langages de programmation
Langages de programmation -- Sémantique
Vérification dynamique
Sureté des programmes
Démonstrateur automatique
Encodage