proving program correct 证明程序正确性 ; 征明程序正确性
Program Proving 程序证明
analytic program proving [计] 解析程序证明
Because you never change the states of your variables, proving your program is much easier.
由于从来没有改变变量的状态,所以证明您的程序非常简单。
The model and program were proved right through theory analysis and examples proving.
通过理论研究和实例验证,证明了模型和程序是正确的。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
应用推荐