1.
A Study on Syntax Trees Based Program Correctness Validation in Intelligent CAA;
智能CAA中基于语法树的程序正确性验证研究
2.
The Model and Verification of MPI Parallal Programs Based on Petri Net;
基于Petri网的MPI并行程序建模与正确性验证
3.
Further Research on Correctness of Program
关于程序正确性证明的进一步探讨
4.
rectness-oriented programming
面向正确性的程序设计
5.
White-box test is a kind of important method to verity correctness of program.
白盒测试是检验程序正确性的重要方法。
6.
The correctness of the complete Euler equation set is verified with two functional examples.
通过两个算例验证了完全欧拉方程组的正确性.
7.
Standardize the procedures of tax audits; ensure the preciseness and correctness of tax audits;
规范税务检查程序，保证税务检查处理的严谨性和正确性；
8.
The coarse granularity behavior based control structure is designed and realized in a strategy system.
实现了基于这种结构的策略程序，实战证明了该方法的正确性。
9.
confirmatory sequencing
确证性测序，证实性测序
10.
Develop a test plan to verify your common business applications run correctly under properly configured secure systems
制定测试计划以便验证常规的商务应用程序在正确配置的安全系统中是否正常运行
11.
The experiment result proves theory analysis.
实验结果验证了理论分析的正确性。
12.
The correctness of this design is validated with experiment and simulation.
用实验与仿真验证了方案的正确性。
13.
Experiment result shows the correctness of this conclusion.
实验结果验证了该结论的正确性。
14.
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.
利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．
15.
The organization shall establish and implement procedures to ensure the completeness, accuracy, and traceability of testing reports been properly verified.
组织须建立并施行程序以确保测试报告的完整性,准确性和可追溯性得到验证。
16.
And the correctness of the models is proved by an example.
最后，通过实例计算验证了模型和计算过程的正确性。
17.
The correctness and practicability of this method was proved by an example.
算例验证了该法的正确性和实用性。
18.
In order to verify the correctness and reliability of Know-how
为了验证专有技术的正确性和可靠性