What does CADiZ do?
CADi is a set of free software tools that aims
to give direct support to use of ISO Standard Z notation.
Compared to the notation of the Z Reference Manual of 1992,
ISO Standard Z provides some useful generalisations.
CADi
has only minor deviations from
the latest draft of the ISO Z standard,
and resolves the looseness in that standard
in documented ways.
The CADi toolset provides:
A Z specification is prepared for processing by CADi using
your favourite ASCII text editor,
where mathematical symbols are represented by names
in either LATEX or troff mark-up.
So you don't have to learn a new editor to use CADi
.
By direct support, we mean that the tools manipulate Z itself, not some other notation into which Z would be translated, so there is no risk of exposing an underlying notation that might bewilder a user.
Future improvements that we foresee for CADi, given time (and funding),
are listed under further work.