摘要
在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,包括死锁验证、非法循环验证及特定状态的验证。
In process of design protocols. it is quite important and necessary to verify the properties of Protocols. In this paper we adapt reachability analysis method, realized automatic verify of properties of protocols described by PetriNet. such as deadlock, illegal-circular and special markings.
出处
《微电子学与计算机》
CSCD
北大核心
1992年第10期42-45,共4页
Microelectronics & Computer
基金
陕西省教育委员会科研基金
