汇编程序验证相关硕士博士期刊学术论文

系统软件是计算机系统的核心部分,其安全性和可靠性是构建高可信计算机系统的关键。而形式化验证技术基于严格的数学理论和方法,能......