Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.
System Requirements
Sistema Operacional: All 32-bit MS Windows (95/98/NT/2000/XP/Vista/7), OS Portable (Source code to work with many OS platforms), MacOSX, POSIX (Linux,BSD,Solaris etc..), Linux, Windows