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