CADiZ

Reference manual / Extensions to ISO Standard Z


The following notation is recognised by cadiz in addition to the notation of draft Standard Z. Run cadiz with the -ws option for warning messages about the first use of each of these non-standard notations.

The tactic language and the refinement editor both impinge on the Z syntax, though they are not extensions to Z per se; their effect on Z is to make several names be reserved words - see Deviations from ISO Standard Z.


IT 6-Jan-2002