Home page - release 4.5

Clicking on a CADi banner will return to this page.

CADi is a set of free software tools that assist use of a specification notation called Z. The source is not yet available.

• What is Z?
• What does CADiZ do?
• Acquiring CADiZ
• Installing CADiZ
• Tutorial guides
• Reference manual
• Example Z specifications
• Searching the documentation
• Acknowledgements
• Contacting us and other users

This documentation exists in several formats.

• View as html pages
• View as pdf pages
• View as pdf book
• View as dvi book
• View as ps book