proof of program correctness

proof of program correctness 基本解释

网络  程序正确性证明

计算机

重点词汇

• ofprep. 的, 属于
• programn. 节目, 节目单, 程序, 纲要, 大纲, 计划 vt. 规划, 拟...计划 vi. 安排节目, 编程序 [计] 程序
• proofn. 证据, 证明, 试验, 检验, 考验 a. 不能透入的, 证明用的, 防...的, 耐...的 vt. 检验, 试验, 校对, 使不被穿透 [计] 审稿
• correctness[计] 正确性 [经] 正确性

proof of program correctness 双语例句

1. 1、 This paper presented a new method of the proof of program correctness based on syntax trees.
   提出了一种新的基于语法树的程序正确性验证方法（STM方法）。
2. 2、 proof of program correctness and a method of getting loop invariant
   程序正确性证明及循环不变式的寻找方法
3. 3、 A Developing Method of Programs Based on the Proof Theory of Program Correctness
   一种基于程序正确性证明理论的程序开发方法
4. 4、 proof of program correctness based on syntax trees
   基于语法树和程序正确性验证研究
5. 5、 Currently, As Formal Method and Proof Theory of Program Correctness is unable to become a practical method, Performance Test of Software is still an effective mean of software quality guaranty quite a while in the future.
   在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件性能测试在将来相当一段时间内仍然是软件质量保证的有效手段。