... proof of correctness 程序正确性证明; 正确性证明 proving correctness 验证正确性 semantic correctness 语义正确性 ...
基于10个网页-相关网页
correctness proving 正确性证明
Formal logic is applied to proving correctness properties of programs in Chapter 8.
第八章介绍应用应用推理等价形式逻辑证明程序正确性。
Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
Several heuristic rules and the proving of their correctness are given.
具体地给出若干启发式控制规则，并证明了这些规则的正确性。
应用推荐