A Formal Correctness Proof for an EDF Scheduler Implementation.

Florian Vanhems Vlad Rusu David Nowak Gilles Grimaud

Published in: RTAS (2022)

Keyphrases

scheduling algorithm
provably correct
neural network
implementation details
software engineering
hardware implementation
mathematical theory
databases
multi agent
efficient implementation
parallel implementation
linear logic