ZEVES (2003). http://www.ora.on.ca/z-eves/welcome.html.  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Hol-Z 2.0: A Proof Environment for Z-Specifications - Brucker, Rittinger, Wolff (2003) (Correct)
.... two main categories: straightforward design which implements a specification environment directly in a programming language, and embedded design which implements it on the basis of a logical embedding in a theorem prover environment, e.g. Isabelle [Paulson, 1994] Examples of the former are Z EVES [ZEVES, 2003], KIV [KIV, 2003] or FDR [FDR, 2003] examples of the latter are HOL Unity [Paulson, 2000] VHDL [Reetz, 1995] HOL CSP [Tej and Wol#, 1997] and HOLOCL [Brucker and Wol#, 2002] The advantage of embedded designs such as HOL Z (whose underlying conservative embedding of Z into the higher order ....
ZEVES (2003). http://www.ora.on.ca/z-eves/welcome.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC