程序正确性证明 meaning in Chinese
mathematical proofs of program correctness
programming correctness proof
proof of correctness
proof of program correctness
Examples
- 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
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。