works on
deductive verification 1earliest deadline first 1formal verification 1frama-c 1real-time scheduling 1rtos 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.OS2026

Deductive Verification for Earliest Deadline First Scheduler Implementations

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…