@inproceedings{GLL+9b,
title = {Integrating Formal Schedulability Analysis into a Verified OS Kernel },
author = {Guo, Xiaojie and Lesourd, Maxime and Liu, Mengqi and Rieg, Lionel and Shao, Zhong},
year = {2019},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, July 15-18, Proceedings},
team = {SYNC, PACSS, axe_FormalProofs, axe_SharedResources},
}
