验证编译器（Verifying Compiler）就是结合程序设计语言和形式化验证技术出现的研究方向。它借助于数学和逻辑推理的方法来保证编译获得的程序的正确性［Hoare03］。
基于36个网页-相关网页
verifying compiler
验证编译器
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动