From the 1 of 1 linked paper with an AI index.
1 paper
Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham +4
The paper formalizes correctness criteria for Earliest Deadline First (EDF) schedulers and presents a deductive verification framework, demonstrated on EDF implementations in RTEMS…