论文部分内容阅读
本文先以几个例子为基础浅谈了网络协议的自然语言描述和形式化描述,然后讨论协议正确性的证明方法,并对各种方法作了简单比较。
Based on a few examples, this paper first discusses the natural language description and formal description of network protocols, and then discusses the proof methods of protocol correctness and makes a simple comparison of various methods.