CZT is a Java framework and a suite of tools built on that framework for editing, type checking, and animating formal specifications written in the Z specification language. In addition to the ISO standard, there is some support for Z extensions, such as Object-Z, Circus and TCOZ.


The software was updated to ZML 2.1. Object Z and Circus support were added. Z checking was updated to reflect bugfixes in the standard. Java 1.5 support was improved. Major bugfixes and code cleanups were done in all of the components.

URL: CZT - Welcome to CZT