Z/EVES

Z/EVES is a proof tool based on EVES and ZF set theory that supports the Z notation. Originally available from ORA Canada, its status is now uncertain.

See:

• The Z/EVES System by Mark Saaltink. In ZUM'97: The Z Formal Specification Notation — 10th International Conference of Z Users Reading, UK, April 3–4, 1997. Springer-Verlag↑, LNCS↑ 1212, 1997. DOI: 10.1007/BFb0027279.

• Manuals:
  • Software Manual for Unix Z/EVES Version 2.1.
  • Software Manual for Windows Z/EVES Version 2.1.

• Z/EVES information at the University of Kent↑.

• POSIX file store in Z/Eves: An experiment in the verified software repository by Leo Freitas, Jim Woodcock↑ and Zheng Fu. Science of Computer Programming↑, 74(4):238–257, February 2009. DOI: 10.1016/j.scico.2008.08.001.