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.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
应用推荐