The Z/EVES system

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

Volumn 1212, Issue , 1997, Pages 72-85

  Saaltink, Mark ^a  

^a ORA Canada   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DECISION PROCEDURE; DOMAIN CHECKING; THEOREM PROVERS; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

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

References (9)

1. J. P. Bowen and M. J. C. Gordon. Z and HOL. In Bowen and Hall (eds.) Z Users Workshop, Springer Verlag Workshops in Computing, 1994.
2. D. Craigen, S. Kromodimoeljo, I. Meisels, W. Pase and M. Saaltink. EVES: An Overview. In Proceedings of VDM '91 (Formal Software Development Methods), Noordwijkerhout, The Netherlands (October 1991), Lecture Notes in Computer Science 551, Springer Verlag, Berlin, 1991.
3. Kolyang, T. Santen, and B. Wolff. A Structure Preserving Encoding of Z in Isabelle/HOL. In J. von Wright, J. Grundy, and J. Harrison (eds.), Theorem Proving in Higher Order Logics - 9th International Conference, Lecture Notes in Computer Science 1125, Springer Verlag, 1996.
4. Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen and Irwin Meisels. The EVES System. In Functional Programming, Concurrency, Simulation and Automated Reasoning, Lecture Notes in Computer Science 693, Springer-Verlag, Berlin, 1993.
5. Irwin Meisels and Mark Saaltink. The Z/EVES Reference Manual. ORA Canada Technical Report TR-96-5493-03b, 1996.
6. Greg Nelson and Derek C. Oppen. Simplification by Cooperating Decision Procedures. ACM Transactions on Proqramminq Lanquaqes and Systems, Vol. 1, No. 2, October 1979, 245-257.
7. Ben Potter, Jane Sinclair, and David Till. An Introduction to Formal Specification and Z. Prentice Hall, 1991.
8. J. M. Spivey. The Z Notation: A Reference Manual, Second Edition. Prentice Hall, 1992.
9. J. M. Spivey. The fuzz Manual, Second Edition. J. M. Spivey Computing Science Consultancy, May 1993.