proving program发音

意思翻译

验证程序

相似词语短语

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

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

proving to───给…证明

proving that───证明这一点

gifted program───天才计划

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

headstart program───headstart程序

doctoral program───博士生项目

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

双语使用场景

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

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

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

英语使用场景