Sujet de la thèse : Méthodes formelles intégrées pour la vérification de logiciels critiques

Début de la thèse : 01/12/2023

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

Résumé :

Méthodes formelles intégrées pour la vérification de logiciels critiques