A Formal Correctness Proof for an EDF Scheduler Implementation.

Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud

Browse the full RTAS paper archive.