Virgile Prevosto
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Frama-C
C (langage de programmation)
Vérification de programmes
Génération d'invariants
Model checking
Propriétés temporelles
Vérification de modèles (informatique)
Logique informatique
Programmation
Types dépendants
Langage oriente objet
Ocaml
Coq
Vérification déductive
Langage de spécification
Systèmes informatiques -- Mesures de sûreté
Propriétés relationnelles
Verification deductive