... 正确性证明 correctness proof 正确性证明 correctness proving 正确规格 correctness specification ...
基于8个网页-相关网页
proving correctness [计] 验证正确性
Several heuristic rules and the proving of their correctness are given.
具体地给出若干启发式控制规则，并证明了这些规则的正确性。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
应用推荐