在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程

李凌, 李璜华, 王生原

Experiment on Formal Verification Process of Parser of CompCert Compiler in Trusted Compiler Design

LI Ling, LI Huang-hua, WANG Sheng-yuan

计算机科学 . 2020, (6): 8 -15 . DOI: 10.11896/jsjkx.191000173