1.
Further Research on Correctness of Program
关于程序正确性证明的进一步探讨
2.
The test samples reveal that the method is correct.
实例检验证明了该模型的正确性。
3.
The result of the simulation proves that the design is correct.
仿真结果证明了设计方案的正确性。
4.
In practice, this is not proving true.
事实并没有证明这种看法的正确性。
5.
All these facts have proved the accuracy of hypothesis.
所有这些事实证明了假设的正确性。
6.
To demonstrate the validity of(a hypothesis or proposition).
验证说明（一个假设或命题）的正确性
7.
Proving and Testing the Functional Correctness of Distributed Systems;
证明和测试分布式系统的功能正确性
8.
Finally, the simulation results show the correctness and the affectivity of the proposed method.
仿真结果证明了该方法的正确性和有效性。
9.
Typical examples prove the efficiency and accuracy of the new algorithm.
典型实例证明新算法的高效性与正确性。
10.
All events have borne out and will continue to bear out the correctness of this appraisal.
一切事变，都已经证明并且将继续证明这些估计的正确性。
11.
An argument in support or justification of something.
辩护为支持或证明某事的正确性所作的争辩
12.
Also the correctness of thiscalculation method has been proved by a calculation example.
本文还以实例证明了这种方法的正确性。
13.
The history of our ten years of war has proved the validity of this law.
我们的十年战争史证明了这个规律的正确性。
14.
We should gather additional facts to support exisiting evidence and illustrate the correctness of the contention .
我们需要收集更多的事实支持现有的证据，并证明论点的正确性。
15.
Claiming something is true misses the point, while presenting verifiable fact proves its correctness.
声称某样东西是正确的没有什么意义，而提出可以证实的事实能证明它的正确性。
16.
This method is proven by Lyapunov theorem.
应用李亚谱诺夫稳定性定理证明了所提出控制方法的正确性。
17.
The method was proved to be effective based on the Lyapunov stability theory and Barbalat lemma.
基于Lyapunov稳定性定理和Barbalat定理,严格证明了该构造方法的正确性。
18.
The clinical observations prove the effectiveness of this model.
临床试用充分证明了这个理论模型的正确性和有效性。