proving program（意思翻译）

验证程序

proving program（相似词语短语）

1、proving ground───n.试验场，检验场

2、proving that───证明这一点

3、proving to───给…证明

4、proving───v.证明；校对；发酵（prove的现在分词）；n.证明；检查；校对

5、headstart program───headstart程序

6、gifted program───天才计划

7、exercise program───训练方案；锻炼计划

8、internship program───实习计划；实习项目

9、doctoral program───博士生项目

proving program（双语使用场景）

1、model and program were proved right through theory analysis and examples proving.───通过理论研究和实例验证，证明了模型和程序是正确的。

2、In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.───本文提出了利用循环体转换关系式的程序证明方法。

3、Because you never change the states of your variables, proving your program is much easier.───由于从来没有改变变量的状态，所以证明您的程序非常简单。

proving program（相关推荐）