proof checker
proof checker是什么意思、proof checker怎么读
读音：[pruːf ˈtʃekə(r)]
[pruːf ˈtʃekər]
proof checker 基本解释
网络 证明检查器
重点词汇
- proofn. 证据, 证明, 试验, 检验, 考验 a. 不能透入的, 证明用的, 防...的, 耐...的 vt. 检验, 试验, 校对, 使不被穿透 [计] 审稿
- checkern. 制止者, 查对者, 阻止者 [计] 检查程序, 检验程序, 检验器, 西洋跳棋
proof checker 双语例句
- 1、
A Theorem proof checker
一个定理证明检查器 - 2、
Both the specifications and the safety proofs are carried by the code, and could be checked by an assembly-level proof checker to ensure that the code satisfies its specifications.
这些证明可以被底层证明检查器所检查，以证明生成的汇编代码满足安全规范。