Sujet de la thèse : Formalisation d'un modèle mémoire à région pour le langage C

Début de la thèse : 13/11/2023

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

Résumé :

Formalisation d'un modèle mémoire à région pour le langage C