%0 Journal Article
%T Protocol Specification and Verification Based on Z<br>基于Z的协议形式描述与验证
%A Li Layuan
%A <br>李腊元
%J 计算机科学
%D 1994
%I 
%X 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.
%K Protocol
%K Specif ication and verification
%K Z<br>计算机网络
%K 协议
%K 形式描述
%K 验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=DDDC284A03B7BE200970954842203601&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=B31275AF3241DB2D&sid=708DD6B15D2464E8&eid=23CCDDCD68FFCC2F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0