验证编译器（Verifying Compiler）就是结合程序设计语言和形式化验证技术出现的研究方向。它借助于数学和逻辑推理的方法来保证编译获得的程序的正确性［Hoare03］。
基于36个网页-相关网页
verifying compiler
验证编译器
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The compiler understands the conditional attribute, so it can do a better job of verifying code when conditional attributes are applied.
编译器可以识别Conditional属性，当条件属性被应用时，编译器可以很好的完成工作。
youdao
应用推荐
模块上移
模块下移
不移动