微信服务号

微信订阅号

2025-4-25- 10
Home > Archive>Volume 6, Issue 12, 1995 >751-760
PDF HTML XML Export Cite reminder
PROVING THE EXISTENCE OF INITIAL STATE IN Z SPECIFICATIONS
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related [20]
    • |
  • Cited by [2]
    • | |
  • Comments
    Abstract:

    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.

    Reference
    1 Spivery J M．The Z notation：a reIerenee manual．2nd ed．，London：Prentice Hall，1992． 2 Diller A．Z an introduction to formal methods．London：John Wiley and Son，1990． 3 Jordan D，McDermid J A，Toyn I．CADiZ—computer aided design in Z．In：Nicholls J E ed．Workshops in Com- puting：Z User Workshop，Oxford，1990，London：Spinger—Verlag，1991．93—104． 4 Potter B，Sinclair J，Till D．An introduction to formal specification and Z．London：Prentice Hall, 1991． 5 Arthan R D．HOL formalised：deductive system．DS/FMU/IED/SPoo3，London：International Computer Ltd．． 1992． 6 Neilson D，Prasad D．zedB：a proof tool for Z bulit on B．In：Nicholls J E ed．，Workshops in Computing：Z User Workshop，York，U．K．1991，London：Springer—Verlag，1992．243—258． 7 Toyn I．CADIZ quick reference guide．university of York，U．K．：York Software Engineering Limited．1990． 8 Woodcock J，Loomes M．Software engineering mathematics．London：Pitman．1988．
    Comments
    Comments
    分享到微博
    Submit
Get Citation

缪淮扣,John McDermid, Lan Toyn. Z规格说明中初始状态存在性的证明.软件学报,1995,6(12):751-760

Copy
Share
Article Metrics
  • Abstract:3567
  • PDF: 4368
  • HTML: 0
  • Cited by: 0
History
  • Received:May 18,1994
  • Revised:November 30,1994
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2038577Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063