Projects / Community Z Tools
Community Z Tools
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.
| Tags | Software Development Quality Assurance Scientific/Engineering Mathematics |
|---|---|
| Licenses | GPL |
| Implementation | Java |
Recent releases
- 15 Jul 2009 20:52
Release Notes: Enhancements and bugfixes.
- 05 Jul 2007 00:41
Release Notes: 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.
- 15 Jun 2007 13:58
No changes have been submitted for this release.
imipak
15 Jun 2007 11:29
Heartbeat
- Popularity Score
- 28.46
- Vitality Score
- 2.28
- Subscriptions
- 4
Voting Score: 0
(0 votes)
