This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,va......

随着IP网络多播技术的发展.IGMP在IP协议栈中的作用越来越重要.在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所/......

文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化......

协议测试已经成为计算机网络和分布系统协议中最的领域之一。近年来，协议一致性测试技术得到了很好的发展和完善，与此同时，互操作测试......