中英▼
go top

program correctness

  • 程序正确性

网络释义专业释义

  [计] 程序正确性

3、程序的正确性及其验证 程序正确性(Program Correctness)被定义为一个程序和它打算要实现的功能之间的 一次符合(a correspondness) Gries说,在程序设计的初期阶段,人们很少看到程序正确性...

基于398个网页-相关网页

短语

proof of program correctness [计] 程序正确性证明

program correctness proof [计] 程序正确性证明

program correctness verification 程序正确性验证

theory of program correctness 程序正确性理论

validation of program correctness 程序正确性验证

mathematical proofs of program correctness 程序正确性证明

correctness of program 程序正确性

correctness of a program 程序正确性

correctness proof of program 程序正确性证明

 更多收起网络短语
  • 程序正确性 - 引用次数：5

    参考来源 - 计算机辅助软件故障树建模与分析研究
    程式正确性
  • 程序正确性
  • 程序正确性

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • Side effects complicate the math required to prove program correctness.

    副作用把验证程序正确的数学问题复杂化。

    youdao

  • A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.

    提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定