About:
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.

Author:
Mark Utting <marku |at| users |dot| sourceforge |dot| net> [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://czt.sourceforge.net/
Tar/GZ:
http://sourceforge.net/project/showfiles.php?group_id=86250
Tar/BZ2:
http://sourceforge.net/project/showfiles.php?group_id=86250
Zip:
http://sourceforge.net/project/showfiles.php?group_id=86250
Changelog:
http://sourceforge.net/[..]tes.php?release_id=520629&group_id=86250
CVS tree (cvsweb):
http://czt.svn.sourceforge.net/viewvc/czt/
Bug tracker:
http://sourceforge.net/tracker/?group_id=86250
Mailing list archive:
http://sourceforge.net/mail/?group_id=86250

Trove categories: [change]

[Development Status]		4 - Beta
[Intended Audience]		Developers
[License]		OSI Approved :: GNU General Public License (GPL)
[Programming Language]		Java
[Topic]		Scientific/Engineering :: Mathematics, Software Development :: Quality Assurance

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	1.0	05-Jul-2007	GNU General Public License (GPL)