Protocol Specification and Verification Based on Z
基于Z的协议形式描述与验证

This paper has made the study on protocol and verification in Z. It first describes main features of Z notation. Taking a simplified transport protocol as an example.it then details a specification of the protocol and discusses the verification of safety and liveness properties,which is based on Z. Finally,some conclusions are given.