Towards a GeoZ Toolkit

The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who are familiar with the existing Z notation, by explaining the issues that arise and the essential role of schema entailment in the GeoZ reformulation of Z's mathematical toolkit.

• Type: Conference
• Year: 1994
• Where: IMPERIAL
• Authors: Mark Dawson, Steven Vickers
• Keywords: Formal Methods, Geometric Logic, GeoZ Fromthe Perspective, IMPERIAL 1994, Speci Cation Language