TY  - RPRT
TI  - Deductive Verification for Earliest Deadline First Scheduler Implementations
AU  - Daniel Kuhse
AU  - Junjie Shi
AU  - Jan Duy Thien Pham
AU  - Kay Heider
AU  - Marcus Völker
AU  - Kuan-Hsun Chen
AU  - Jian-Jia Chen
PY  - 2026
UR  - https://arxiv.org/abs/2607.26927
ID  - 2607.26927
ER  -