Searching for "Z and HOL." – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Towards a Structure Preserving Encoding of Z in HOL
- …Towards a Structure Preserving Encoding of Z in HOL Kolyang , T. Santen y , B. Wolff…
- Add To MetaCart
-
A Structure Preserving Encoding of Z in Isabelle/HOL
- …A Structure Preserving Encoding of Z in Isabelle/HOL 1 Kolyang * , T. Santen # , B. Wolff…
- Cited by 30 (7 self) – Add To MetaCart
-
Verification of a signature architecture with HOL-Z
- …Verification of a Signature Architecture with HOL-Z David Basin 1 , Hironobu Kuruma 2 , Kazuo…
- Cited by 3 (2 self) – Add To MetaCart
-
Hol-Z 2.0:
- …HOL-Z 2.0: A Proof Environment for Z-Specifications Achim D. Brucker Albert…
- Add To MetaCart
-
HOL-Z in the UniForM-Workbench - a Case Study in Tool Integration for Z
- …HOL-Z in the UniForM-Workbench - a Case Study in Tool Integration for Z C. Luth 1 , E. W…
- Cited by 8 (4 self) – Add To MetaCart
-
HOL-Z 2.0: A proof environment for Z-specifications
- …HOL-Z 2.0: A Proof Environment for Z-Specifications Achim D. Brucker Albert…
- Cited by 5 (3 self) – Add To MetaCart
-
Abstract
- …Z and HOL Jonathan Bowen Oxford University Computing Laboratory Programming Research Group Wolfson…
- Add To MetaCart
-
B.: Building formal method tools in the Isabelle/Isar framework
- … methods tool: the HOL-Z 3.0 environment, which is geared towards the analysis of Z specifications…
- Cited by 5 (4 self) – Add To MetaCart
-
Editorial
- … (HOL-Z) in a completely formal way. The original aspect of this representation is, that the so…
- Add To MetaCart
-
A Case Study of a Formalized Security Architecture
- … architecture are specified in the language Z. Based on a logical embedding of Z into Isabelle/HOL, we provide…
- Cited by 8 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
