A Formal Correctness Proof for an EDF Scheduler Implementation. - Florian Vanhems; Vlad Rusu; David Nowak; Gilles Grimaud (RTAS, 2022)

Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation. (Conception, implementation and proof of an execution flow transfer service in an operating system's kernel). - Florian Vanhems (2023)