%0 Journal Article
%T PROVING THE EXISTENCE OF INITIAL STATE IN Z SPECIFICATIONS<br>Z规格说明中初始状态存在性的证明
%A Miao Huaikou
%A John McDermid
%A Lan Toyn
%A <br>缪淮扣
%A John McDermi
%A Lan Toyn
%J 软件学报
%D 1995
%I 
%X Proof of the initialization theorem is a standard check that may be carried out for any state-based specification. A procedure for proving initialization theorems is presented. The proof justifications can be generated automatically by this procedure. By way of example, two initialization theorems are proved using this procedure.
%K initialization theorems
%K proof
%K PEISZ
%K specifications
%K justification<br>初始化定理
%K 规格说明
%K Z规格说明
%K 软件
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=3459EE250179C0DE9BC3114B18F1941F&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=59906B3B2830C2C5&sid=8A6D8366EA57F0FF&eid=8D71AF42ACD39979&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=0