Tutorial guides
Tutorial guides are available on the following topics.
Choosing between LaTeX mark-up and troff mark-up
Preparing Z specifications using LaTeX mark-up
Preparing Z specifications using troff mark-up
Running cadiz
Browsing a Z specification
Correcting errors in a Z specification
Proving conjectures using cadiz
A tactic language for reasoning about Z specifications (a draft paper)
Application program interface
Refining Z specifications to guarded command language
Showing compliance of Spark programs with Z specifications
IT 22-Oct-2000