... program correctness 程序的正确性; 程序正确性 proof of correctness 程序正确性证明; 正确性证明 proving correctness 验证正确性 ...
基于1个网页-相关网页
proof of program correctness [计] 程序正确性证明
proof of the correctness 正确性证明
correctness proof of program 程序正确性证明
In this paper, the proof of correctness and the complexity analysis of the MRPMQ are also given.
给出了该协议的正确性证明和复杂性分析。
The correctness proof and complexity analysis of LEACH - ZMH are given.
给出LEACH - Z MH的正确性证明和复杂性分析。
Finally, given the size of the API, any formal proof of specific properties or the correctness of programs using it is an extremely difficult task.
最后，由于API的规模，特定属性的形式证明和使用这些属性的程序的正确性的验证变得相当困难。
应用推荐