Revising Z: Part I - Logic and semantics

Formal Aspects of Computing

Volumn 11, Issue 4, 1999, Pages 359-380

  Henson, Martin C ^a   Reeves, Steve ^b  

^a UNIVERSITY OF ESSEX   (United Kingdom)

^b NONE

Author keywords

Logics of specification languages; Semantics of specification languages; Specification language Z

Indexed keywords

EID: 0041708524     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050038     Document Type: Article

References (14)

1. Brien, S. and Martin, A.: A tutorial of proof in standard Z. Technical report, Technical monograph PRG-120, University of Oxford, 1996.
2. Brien, S.: A model and logic for generically typed set theory (Z). Technical report, (draft) D. Phil. thesis, University of Oxford, 1995.
3. Henson, M. C.: The standard logic for Z is inconsistent. Formal Aspects of Computing Journal, 10(3): 243-247, 1998.
4. Hall, J. and Martin, A.: script W sign reconstructed. In Proceedings ZUM '97, LNCS 1212, pages 115-134. Springer, 1997.
5. Henson, M. C. and Reeves, S.: Revising Z: Part II - logical development. Formal Aspects of Computing Journal, 11(4): 381-401, 1999.
6. Kolyang, Santen, B. and Wolff, B.: A structure preserving encoding of Z in Isabelle/HOL. In Proceedings Formal Methods Europe. LNCS Vol. 1051, Springer Verlag, 1996.
7. Martin, A.: Approaches to proof in Z. Technical report, Technical Report TR97-34, SVRC, University of Queensland, 1997.
8. Martin, A.: A revised deductive system for Z. Technical report, Technical Report TR98-21, SVRC, University of Queensland, 1998.
9. Nicholls, J. (ed.): Z Notation: Version 1.2. Z Standards Panel, 1995.
10. Spivey, J. M.: Understanding Z: A specification language and its formal semantics. C.U.P., 1988.
11. Spivey, J. M.: The Z notation: A reference manual. Prentice Hall, 1992.
12. Toyn, I. (ed.): Z Notation: Draft 0.8. Unpublished draft, 1997.
13. Woodcock, J. and Brien, S.: script W sign: A logic for Z. In Proceedings of ZUM '91, 6th Conf. on Z. Springer Verlag, 1992.
14. Woodcock, J. and Davies, J.: Using Z: Specification. Refinement and Proof. Prentice Hall, 1996.