摘要
本文论述了通信协议可达性分析验证的基本概念、方法和技术.并通过作者开发的一个可达性分析自动化系统实例,讨论了自动系统的构造原理、状态扩展的算法以及避免"状态空间爆炸"的若干技术.
This paper reports on the basic concepts, methods and techniques of reachability analysis verification for communication protocols. Through a practical reachability analysis automation system developed by the authors, the construction of automation system, the algorithms for state space extension and some techniques to avoid 'state space explosion' are also presented.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第11期28-34,共7页
Journal of Computer Research and Development
关键词
通信协议
验证
可达性分析
自动化
communication protocol
verification
communication network
