Community Z Tools release 1.5 is now available.
It provides tools for editing and checking formal specifications written in the Z, Object-Z and Circus languages. This release contains a snapshot of all CZT tools that are currently available or under development. See the release notes for details on how to use each package.
In keeping up with the tradition of releasing standalone jar files for the Z/Object-Z typechecker, which seem to be popular, I'm releasing a new version to coincide with the CZT 1.0 release. It is run the same as previous versions:
java -jar czt_typecheck_v1.0.jar filename1 filename2 ...
Tim
First stable release based on ZML 2.1. It includes tools like parser, typechecker, and pretty-printer for Standard Z, Object-Z and Circus. It also contains the Z animator Zlive, the testing tool modeljunit, a command line user interface for CZT, and several jedit plugins.
I've (finally!) gotten around to producing a new binary, command-line version of the Z/Object-Z typechecker, which is the same version of the typechecker released with CZT 0.5. It can be run like so:
java -jar czt_typecheck_0_5.jar filename1 filename2 ...
This release containing ZML 2.0, corejava 2.0.0, parser 0.5, typechecker 0.5, the first release of the Z animator zlive, the first release of the testing tool modeljunit, and several jedit plugins.
See http://czt.sourceforge.net/corejava/changes.html for changes in corejava, http://czt.sourceforge.net/parser/changes.html for changes in the parser, and http://czt.sourceforge.net/typechecker/changes.html for changes in the typechecker.
Now that CZT v0.4 has been released, I am also releasing the binary command-line version of the Z/Object-Z typechecker. It can be run like so:
java -jar czt_typecheck.jar filename1 filename2
This release containing ZML 1.4, corejava 1.4.1, parser 0.4, typechecker 0.4, and the jedit plugin.
See http://czt.sourceforge.net/corejava/changes.html for changes in corejava, http://czt.sourceforge.net/parser/changes.html for changes in the parser, and http://czt.sourceforge.net/typechecker/changes.html for changes in the typechecker.
A pre v0.4 binary release of the Object-Z typechecker is now available for download in jar and src format. This version is lightweight (no editing environment, ZML formatting etc), and can be run from the command line like so:
java -jar czt_typecheck_pre_v0.4.jar filename1 filename2
This release containing ZML 1.4, corejava 1.4.0, parser 0.3, and a first release of the typechecker.
See http://czt.sourceforge.net/corejava/changes.html for changes in corejava and http://czt.sourceforge.net/parser/changes.html for changes in the parser.
CZT binaries are available from
http://www.cs.waikato.ac.nz/~petra/
(due to the JAXB license, they cannot be distributed on Sourceforge)
This release containing ZML 1.3, corejava 1.3.0, and parser 0.2 containing an Z/Object Z parser and a Z printer.
This is the first CZT release containing corejava (Java source code for Z annotated syntax trees, reading and writing XML files etc.) and parser (Z/Object Z parser and printing tools).
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.
corejava 1.2.0 has been released. It contains Java source code for Z annotated syntax trees, reading and writing XML files etc.
This release is based on ZML 1.2 and provides some
improvements and fixes:
* Add:
- interfaces net.sourceforge.czt.z.util.ZChar
and net.sourceforge.czt.z.util.ZString
containing Z related unicode characters and strings
- interfaces net.sourceforge.czt.oz.util.OzChar
and net.sourceforge.czt.oz.util.OzString
containing OZ related unicode characters and strings
- support for Timed Communicating Object Z (TCOZ)
based on the Schema provided by Li Yuan Fang... read more
This release contains Java source code for Z and Object Z annotated syntax trees, reading and writing XML files etc.
Requirements:
- Java 2 SDK 1.4
- Ant
- Java Web Services Developer Pack (JWSDP) 1.3
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.
corejava 1.1.1 has been released. It contains Java source code for Z annotated syntax trees, reading and writing XML files etc.
This release makes some minor improvements and fixes:
* immutable classes (Name, RefName, DeclName) have been relaxed to allow mutation. They now support extra setters and return standard lists rather than immutable lists.... read more
This release contains Java source code for Z annotated syntax trees, reading and writing XML files etc.