Jean-Christophe Filliâtre
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Vérification de programmes
Méthodes formelles (informatique)
C (langage de programmation)
Méthodes formelles
Why3
Propriétés relationnelles
Logique de séparation
Informatique
Vérification dynamique
OCaml
Vérification déductive
Système de types
Polymorphisme
Interprétation abstraite
Langages de programmation -- Sémantique
Propriétés mémoire
Preuve formelle
Langages de programmation -- Syntaxe