Abstract
We present W, a logic for the Z notation (Brien & al, 1991). The soundness proof for W is still under development, but is nearing completion.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S.M. Brien, P.H.B. Gardiner, P.J. Lupton & J.C.P. Woodcock (1991), “A Semantics for Z”, Programming Research Group.
A. Diller (1991), Z: an Introduction to Formal Methods, Chichester: Wiley.
W.T. Harwood (1991), “Proof Rules for Balzac”, IST, Cambridge.
R.B. Jones (1990). “Proof Support for Z mo HOL”, Parts I & II. ICL Secure Systems, Winnersh.
J.M. Spivey (1988). Understanding Z: a Specification Language and its Formal Semantics. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.
J.M. Spivey (1989). The Z Notation: a Reference Manual London: Prentice-Hall International.
J.C.P. Woodcock & M. Loomes (1988). Software Engineering Mathematics. London: Pitman.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 British Computer Society
About this paper
Cite this paper
Woodcock, J.C.P., Brien, S.M. (1992). W: A Logic for Z. In: Nicholls, J.E. (eds) Z User Workshop, York 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3203-5_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3203-5_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-19780-5
Online ISBN: 978-1-4471-3203-5
eBook Packages: Springer Book Archive