正确性证明 meaning in English
correctne proof
correctness proof
justification
proof of correctness
Examples
- 10 xu h l , huang l s , wan y y et al . localized algorithm for coverage in wireless sensor networks
本文的第四节给出了算法的正确性证明，即算法构造的路径为最坏覆盖路径。 - One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known
需要指出的是：基于strand空间理论的正确性证明是建立在已知攻击集的基础上的。 - For the computation of the minimal covers of a family of sets , we propose several theorems to describe the principle , and develop corresponding algorithm elaborately
而对于族集最小覆盖集的计算问题，本文则提出了若干个定理刻画了其计算方法的原理并予以正确性证明，并精心设计了相应的算法。 - 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
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。 - Simultaneity , in a certain kind of question ' s development , the technique can be carried out reuse in the formal deduce , correctness prove and so on . so it will give an effective way to research on reuse in the software development full process
同时，某类问题的求解过程中的形式化推导、正确性证明等都可以实现复用，从而为实现软件开发全过程的复用研究提供一种有效的途径。