The University of Waikato - Te Whare Wānanga o Waikato
Centre for Open Software Innovation Research Centre
Home Waikato Home  >  COSI  >  Projects  >  Formal Methods  >  CZT Staff + Students Login |  - Logout

Community Z Tools

The Community Z Tools (CZT) project is building a set of tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z, Circus, and TCOZ. These tools are all built using the CZT Java framework for Z tools.

Formal Methods Group

Project homepage

GPL 2

ChooseWaikato

Apply Now!