Integrating Formal Schedulability Analysis into a Verified OS Kernel

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02289494
Contributor : Lionel Rieg <>
Submitted on : Monday, September 16, 2019 - 6:35:12 PM
Last modification on : Friday, October 25, 2019 - 1:25:11 AM

Links full text

Identifiers

Citation

Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao. Integrating Formal Schedulability Analysis into a Verified OS Kernel. Computer Aided Verification, pp.496-514, 2019, ⟨10.1007/978-3-030-25543-5_28⟩. ⟨hal-02289494⟩

Share

Metrics

Record views

46