Apply Formal Methods in Certifying the SyberX High-Assurance Kernel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang, Shihong Zou. Apply Formal Methods in Certifying the SyberX High-Assurance Kernel. In Marieke Huisman, Corina S. Pasareanu, Naijun Zhan, editors, Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Volume 13047 of Lecture Notes in Computer Science, pages 788-798, Springer, 2021. [doi]

This author has not been identified. Look up 'Wenjing Xu' in GoogleThis author has not been identified. Look up 'Yongwang Zhao' in GoogleThis author has not been identified. Look up 'Chengtao Cao' in GoogleThis author has not been identified. Look up 'Jean Raphael Ngnie Sighom' in GoogleThis author has not been identified. Look up 'Lei Wang' in GoogleThis author has not been identified. Look up 'Zhe Jiang' in GoogleThis author has not been identified. Look up 'Shihong Zou' in Google

runs on WebDSL