The Wayback Machine - https://web.archive.org/web/20160909152317/https://sourceforge.net/projects/czt/?source=recommended

Community Z Tools

beta

Tool support for the Z formal notation

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

Download czt.jar

Browse All Files

Windows BSD Mac Linux

Description

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.

Community Z Tools Web Site

License

GNU General Public License version 2.0 (GPLv2)

KEEP ME UPDATED

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

Write a Review

User Reviews

<REDACTED>

1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

Thanks for great project! Simply the best.Good,good,good.+1

Posted 05/19/2013
<REDACTED>

1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

very good project, thanks!Good,good,good.+1

Posted 04/15/2013
<REDACTED>

1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

very good project, thanks!

Posted 04/09/2013
<REDACTED>

1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

very good project, thanks!

Posted 04/05/2013