ＬＯＴＯＳ是一种基于进程代数ＣＣＳ的协议规范语言，面向协议验证，但它不能描述协议的某些性质。本文提出了一种ＬＯＴＯＳ的扩充语言ＥＬＯＴＯＳ，它在ＬＯＴＯＳ的基础上引入了异步通......

本文论述了协议的形式描述与验证的主要技术,讨论了基于标号有限状态机的形式描述与验证问题,给出了应用实例。......

自然语言协议的自动形式化是通信协议自动测试的前提，从而也是数据链协议自动测试的重要研究方向。此问题出现已久，但尚无可靠解决方......

本文主要讨论基于有限状态机(FSM)的协议形式化技术问题。文中论述了FSM形式描述与验证的技术特征,提出了一种增强FSM形式化方法,......