Le moteur de recherche
des thèses françaises
Virgile Prevosto
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Frama-C
C (langage de programmation)
Méthodes formelles
Programmation
Types dépendants
Langage oriente objet
Ocaml
Coq
IOSTS
Fonctions
Exécution symbolique
Test à base de modèles
Contrats
Tests fonctionnels (informatique)
Programmation fonctionnelle (informatique)
Ingénierie des systèmes
Ingénierie dirigée par les modèles
Propriétés relationnelles
Verification deductive