Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel.

Tianqi Zhao, Qinxiang Cao, Shenghua Feng, Minghui Zhou, Naijun Zhan, Yongzhi Cao, Junfeng Zhao, Haiyan Zhao, Hao Wang, Zhenjiang Hu

Browse the full FM paper archive.