English translation for "程序正确性证明"

mathematical proofs of program correctness
programming correctness proof
proof of correctness
proof of program correctness

Related Translations:

正确性:  accuracycorrectnessjustnesslegitimacytruenesstruthvalidityverecity

软件正确性:  correctness of softwaresoftware correctness

抽样正确性:  sampling accuracy

概率正确性:  probable correctness

验证正确性:  proving correctness

记忆正确性:  memory exactitude

正确性论据:  correctness argument

经验正确性:  empirical validity

正确性争议:  accuracy dispute

总正确性:  total correction

Example Sentences:

1.

As the formalized method and program validity testifying technology are still waiting to be practically applied . software testing still is the effective method to insure the quality of software 在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。

Similar Words：

"程序争用的多道程序设计" English translation, "程序整合" English translation, "程序正常结束" English translation, "程序正确性" English translation, "程序正确性检查" English translation, "程序正义" English translation, "程序政策" English translation, "程序证明" English translation, "程序证实" English translation, "程序证实服务程序" English translation