Program Proving的意思|示意
项目证明
Program Proving的网络常见释义
程序证明 ...之前，实际上还应证明程序是正确的，即证明程序对所有可能的合法输人都能得到正确的结果，这一工作称为程序证明(Program Proving)。这一领域是当前很多计算机科学工作者集中研究的对象，还处于相当初期的阶段。
Program Proving相关短语
1、 analytic program proving 解析程序证明
2、 proving program 验证程序
3、 proving program correct 证明程序正确性 ; 征明程序正确性
Program Proving相关例句
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
A program generated from this model has yielded results agreeing better with test data collected from some proving ground tests.
利用该模型编制的软件的计算结果与某基地的试验数据吻合得较好。
A pioneering initiative to make the 2006 FIFA World Cup not only entertaining but environmentally-friendly is proving a winner, the United Nations environment Program (UNEP) announced on Monday.
周一联合国环境规划署表示，一项为保证2006年世界杯既具有娱乐性又有环保意识的先锋行动证明取得成功。
Finally, arithmetic principle is analyzed and numerical example is calculated by the program, thus proving that the optimal design algorithm can be used.
通过算法原理分析和算例计算，表明该优化算法有一定的应用价值。
This paper clarifies the significance of proving the correction of the program and its connotation, presents the thought about proving, and illustrates the method and the steps.
本文阐明了程序正确性证明的重要意义与其内涵，给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。
The model and program were proved right through theory analysis and examples proving.
通过理论研究和实例验证，证明了模型和程序是正确的。