They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verify FDDI to introduce the method of using timed automata.

• 文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法。