526互联
首页
Ai
Java
Python
Android
Mysql
JavaScript
Html
CSS
CompCert
浅谈CompCert:经过形式化验证的可信编译器
前言:当前,复杂而泛在的软件架构支撑着全球经济,编译器和计算机高级语言正是这些软件的基石。编译器作为产生代码的工具,在加强计算机安全方面扮演着至关重要的角色。对于安全关键领域的系统软件而言,必须考虑编译器引入的错误,否则高成本的源程序级验证工作可能在目标程序级失效[1]。 保证编译器正确性的传统方 ......
编译器
可信
CompCert
形式
更新时间 2023-03-31
共1篇 :1/1页
首页
上一页
1
下一页
尾页