Integrating Formal Schedulability Analysis into a Verified OS Kernel.

Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao

Browse the full CAV paper archive.