We demonstrate how to integrate several tools for the Z specification language into the workbench, obtaining an instantiation of the workbench suited as a ...
Sep 24, 1998 · HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. Authors: Christoph Lüth. Christoph Lüth. Search about this author.
HOL-Z in the UniForM-Workbench–A Case Study in Tool Integration ...
link.springer.com › content › pdf
Abstract. The UniForM-Workbench is an open tool-integration en- vironment providing type-safe communication, a toolkit for graphical.
Missing: Wokbench - | Show results with:Wokbench -
HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z · List of references · Publications that cite this publication.
Missing: Wokbench - | Show results with:Wokbench -
We demonstrate how to integrate several tools for the Z specification language into the workbench, obtaining an instantiation of the workbench suited as a ...
Missing: Wokbench - | Show results with:Wokbench -
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z ... The UniForM-Workbench is an open tool-integration environment providing type-safe ...
HOL-Z in the UniForM-workbench | a case study in tool integration for Z. In Bowen, J., editor, 11th International Conference of Z Users ZUM'98, number 1493 ...
Missing: Wokbench - | Show results with:Wokbench -
HOL-Z in the UniForM-workbench — a case study in tool integration for Z. In Bowen, J., editor, 11th International Conference of Z Users ZUM'98, number 1493 ...
Missing: Wokbench - | Show results with:Wokbench -
In this tutorial we present the interactive theorem prover environment HOL-Z. (built as plug-in of Isabelle/HOL) that supports formal reasoning over Z ...
Missing: Wokbench - | Show results with:Wokbench -
Apr 25, 2024 · HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM 1998: 116-134; 1997. [c9]. view. electronic edition via DOI ...