Apply Formal Methods in Certifying the SyberX High-Assurance Kernel.

Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang, Shihong Zou

Browse the full FM paper archive.