本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
介绍了系统开发的关键技术：模型简化、节点划分、平面图形截面特性的计算、强度计算的算法及分析结果的输出形式。
The key techniques such as model simplification, node division, section feature calculation, strength calculation method and result output format are introduced.
应用推荐