Sujet de la thèse : Vérification formelle des couches de confiance dans les logiciels

Début de la thèse : 17/01/2022

Directeur de thèse : Frédéric LOULERGUE

Résumé :

Vérification formelle des couches de confiance dans les logiciels