Sujet de la thèse : Vérification de modules critiques écrits en RUST de systèmes d’exploitation pour l’internet des objets

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

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

Co-encadrant de thèse : Frédéric DABROWSKI

Résumé :

Vérification de modules critiques écrits en RUST de systèmes d’exploitation pour l’internet des objets