TY - CHAP AU - Brucker, Achim D. AU - Friedrich, Stefan AU - Rittinger, Frank AU - Wolff, Burkhart ED - Haneberg, Dominik ED - Schellhorn, Gerhard ED - Reif, Wolfgang PY - 2002 DA - 2002/07/ TI - HOL-Z 2.0: A Proof Environment for Z-Specifications BT - FM-TOOLS 2002 SP - 33 EP - 38 CY - Augsburg AB - We present a proof environment for the specification language Z on top of Isabelle/HOL. It comprises a LaTeX-based front end (including the integrated type-checker ZETA), generic facilities to generate proof obligations and improved proof support for the logical embedding HOL-Z, namely for the schema-calculus and structural Z proofs. L1 - https://www.brucker.ch/bibliography/download/2002/brucker.ea-hol-z-2002.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-z-2002 LA - USenglish N1 - Available as Technical Report, University Augsburg, number 2002–11. ID - brucker.ea:hol-z:2002 ER -