Le moteur de recherche
des thèses françaises
Wolfgang Ahrendt
IdRefMots clés
FR |
EN
Vérification déductive
Méthodes formelles (informatique)
Why3
Effets
Bibliothèque OCaml
OCaml
Modulaire
Objective Caml (langage de programmation)
Logiciels
Programmation (informatique)
Vérification dynamique
Frama-C
TPM software stack
Trusted Platform Module
Vérification de modèles (informatique)
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
C (langage de programmation)
ACSL (langage de programmation)
Génie logiciel