1.
Further Research on Correctness of Program
关于程序正确性证明的进一步探讨
2.
White-box test is a kind of important method to verity correctness of program.
白盒测试是检验程序正确性的重要方法。
3.
A set of input data and conditions used to check the program correctness.
一组用于检查程序正确性的输入数据和条件。
4.
A Study on Syntax Trees Based Program Correctness Validation in Intelligent CAA;
智能CAA中基于语法树的程序正确性验证研究
5.
Research on the Verification of NC Program Based on Compile Theory;
基于编译原理的数控程序正确性检查研究
6.
rectness-oriented programming
面向正确性的程序设计
7.
CHAPTER VI PROCEDURAL DUE PROCESS
第六章 程序性正当程序
8.
The Model and Verification of MPI Parallal Programs Based on Petri Net;
基于Petri网的MPI并行程序建模与正确性验证
9.
they must be the right instructions in the right order.
程序还必须是顺序正确的指令组。
10.
Incorrect Application Start-up Sequence Detected
检测到不正确的应用程序启动顺序。
11.
Standardize the procedures of tax audits; ensure the preciseness and correctness of tax audits;
规范税务检查程序，保证税务检查处理的严谨性和正确性；
12.
The program is not registered properly. Please run Setup again.
程序没有正确注册。请重新运行安装程序。
13.
Provider cannot be found. It may not be properly installed.
未找到提供程序。该程序可能未正确安装。
14.
The coarse granularity behavior based control structure is designed and realized in a strategy system.
实现了基于这种结构的策略程序，实战证明了该方法的正确性。
15.
"Make sure that the Task Scheduler Service is running
"请确定“任务计划程序”服务正在运行
16.
An attempt was made to load a program with an incorrect format.
试图加载格式不正确的程序。
17.
"The Trust Provider is unknown or not configured properly.
"信任提供程序未知，或是配置得不正确。
18.
The IOCTL call made by the application program is not correct.
应用程序发出的 IOCTL 调用不正确。