Inconsistency and undefinedness in Z– A practical guide

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1493, Issue , 1998, Pages 233-250

  Valentine, Samuel H ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ACHIEVING IT; PRACTICAL GUIDE; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

EID: 33745671495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056037     Document Type: Conference Paper

References (15)

1. R. D. Arthan. On free type definitions in Z. In J. E. Nicholls, editor, Z User Workshop, York 1991. Springer-Verlag, Workshops in Computing, pages 40-58, 1992. 238, 240
2. H. B. Enderton. Elements of Set Theory. Academic Press, 1977. 238
3. J. G. Hall and A. P.Martin. Wreconstructed. In J. P. Bowen, M. G. Hinchey and D. Till, editors, ZUM ’97: The Z Formal Specification Notation. Springer-Verlag, Lecture Notes in Computer Science, volume 1212, pages 115-134, 1997. 233
4. W. T. Harwood. Proof rules for Balzac. Technical Report WTH/P7/001, Imperial Software Technology, UK, 1991. 233
5. J. G. Hall, J. A. McDermid and I. Toyn. Model conjectures for Z specifications. In H. Habrias, editor, Z Twenty Years On - What is its Future? IRIN, Université de Nantes, France, pages 41-51, October 1995. 236
6. Sir HaroldJeff reys. Scientific Inference. Cambridge University Press, second edition, 1957. 234
7. C. B. Jones. Systematic Software Development using VDM. Prentice Hall Internationa Series in Computer Science, 1986. 244
8. M. Saaltink. Z andEv es. In J. E. Nicholls, editor, Z User Workshop, York 1991. Springer-Verlag, Workshops in Computing, pages 223-242, 1992. 240
9. A. Smith. On recursive free types in Z. In J. E. Nicholls, editor, Z User Workshop, York 1991. Springer-Verlag,Workshops in Computing, pages 3-39, 1992. December 1991. 238, 240
10. J. M. Spivey. Understanding Z. Cambridge University Press, 1988. 235, 247
11. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, seconded ition, 1992. 234, 238, 239, 240, 247, 249
12. I. Toyn. CADiZWeb pages, 1998. URL: http://www.cs.york.ac.uk/˜ian/cadiz/ 233
13. I. Toyn. Innovations in standard Z. In J. P. Bowen, A. Fett and M. G. Hinchey, editors, ZUM’98: The Z Formal Specification Notation. Springer-Verlag, Lecture Notes in Computer Science, volume 1493, pages 193-213, 1998. In this volume. 234, 239, 248
14. I. Toyn, editor. Z Notation. ISO, to appear 1998. 234, 235, 239, 248
15. J. C. P. Woodcock and J. Davies. Using Z - Specification, Refinement and Proof. Prentice Hall International Series in Computer Science, 1996. 240