Toward Compositional Verification of Interruptible OS Kernels and Device Drivers

Chen, H; Wu, XN; Shao, Z; Lockerman, J; Gu, RH

Chen, H (reprint author), Univ Elect Sci & Technol China, Chengdu, Sichuan, Peoples R China.; Chen, H (reprint author), Yale Univ, New Haven, CT 06520 USA.

JOURNAL OF AUTOMATED REASONING, 2018; 61 (1-4): 141

Abstract

An operating system (OS) kernel forms the lowest level of any system software stack. The correctness of the OS kernel is the basis for the correctness......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索