摘要
本文论述了协议的形式描述与验证的主要技术,讨论了基于标号有限状态机的形式描述与验证问题,给出了应用实例。
This paper describes main techniques of protocol specification and verification, and discusses its formal description and verification based on label FSM.and also gives its application examples.
出处
《计算机应用与软件》
CSCD
1998年第3期9-14,45,共7页
Computer Applications and Software
基金
国家自然科学基金
湖北省自然科学基金
关键词
计算机网络
有限状态机
协议形式化
Computer networks,protocol,label FSM,formal description.
