摘要
本文讨论了由古典公理系统和时态逻辑运算所组成的通信协议正确性证明系统的构造和应用。借助于这种基于一阶谓词演算的系统进行协议验证,具有方便、简洁和严谨等特点。该系统已成功地用于对一些通信协议进行验证,且取得了令人满意的效果。
A system for verifying communication protocols which consists of theclassic axiom system and the temporal logic operations is discussed in this paper.Also,we have successfully used the system for verifying some communicationprotecols,and obtained satisfactory outcomes.
出处
《计算机应用与软件》
CSCD
1991年第3期1-8,共8页
Computer Applications and Software