program proof（意思翻译）

程序验证

program proof（相似词语短语）

1、gifted program───天才计划

2、recession proof───防衰退

3、corrected proof───更正的证明

4、inartistic proof───非艺术证据

5、bill proof───票据证明

6、error proof───防错

7、proof───n.证明；证据；校样；考验；验证；试验；adj.防…的；不能透入的；证明用的；耐…的；vt.试验；校对；使不被穿透

8、mistake proof───错误防范

9、incompleteness proof───不完全性证明

program proof（双语使用场景）

1、And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.───而实际上，电脑程序的证明方式，据目前所知，是前人们从未曾提出过的。

2、Object invariant is important in the object-oriented program proof.───对象不变式在面向对象程序的证明中具有重要作用。

3、Publishing the source code of a program is the equivalent of publishing the proof of a theorem.───公布一个程序的源代码与公布一个定理的证明是一样的。

program proof（相关推荐）