Description
Date depot: 17 décembre 2024
Titre: Improving the Reliability of Real-World Operating Systems
Directrice de thèse:
Julia LAWALL (Inria-Paris (ED-130))
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé: As the Linux kernel controls more and more of the systems on which we rely in our daily lives, its correctness becomes critical. This PhD will design strategies for formally specifying the desired behavior of core Linux kernel components and proving that the implementations match these specifications. We will furthermore investigate how these specifications can be maintained over time as the code base evolves.
Doctorant.e: Nishimura Keisuke