1.
Further Research on Correctness of Program
关于程序正确性证明的进一步探讨
2.
The coarse granularity behavior based control structure is designed and realized in a strategy system.
实现了基于这种结构的策略程序，实战证明了该方法的正确性。
3.
Based on the theory and methods of the partially additive category, we will proofthe soundness of the deductive rules on partial correctness for nondeterministic Drogram.
利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．
4.
The Model and Verification of MPI Parallal Programs Based on Petri Net;
基于Petri网的MPI并行程序建模与正确性验证
5.
A Study on Syntax Trees Based Program Correctness Validation in Intelligent CAA;
智能CAA中基于语法树的程序正确性验证研究
6.
rectness-oriented programming
面向正确性的程序设计
7.
Standardize the procedures of tax audits; ensure the preciseness and correctness of tax audits;
规范税务检查程序，保证税务检查处理的严谨性和正确性；
8.
confirmatory sequencing
确证性测序，证实性测序
9.
It held that "the proponent of the evidence must demonstrate that correct scientific procedures were done in the particular case."
判决认为“证据的提出者必须证明在特定案件中采取了正确的科学程序。”
10.
The calculation of engineering examples shows the program is easy in use and has very good result.
工程实例表明本程序使用方便、计算结果正确。
11.
The failure diagnosis procedure adopted by the Chinese side had been proved correct by decades of practice.
中国的故障诊断程序是经过几十年实践检验而被证明是完全正确的。
12.
These findings were not reliable enough to justify dispensing with the usual safeguards of the adversary process.
这些调查结果并未确切得足以证明省却通常的对抗程序的保护措施是合理正当的。
13.
The test samples reveal that the method is correct.
实例检验证明了该模型的正确性。
14.
The result of the simulation proves that the design is correct.
仿真结果证明了设计方案的正确性。
15.
In practice, this is not proving true.
事实并没有证明这种看法的正确性。
16.
All these facts have proved the accuracy of hypothesis.
所有这些事实证明了假设的正确性。
17.
To demonstrate the validity of(a hypothesis or proposition).
验证说明（一个假设或命题）的正确性
18.
Proving and Testing the Functional Correctness of Distributed Systems;
证明和测试分布式系统的功能正确性