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.

本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。

youdao

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.

本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。

youdao