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.