Project Summary
Project Information
| Field | Value |
|---|---|
| Name | CZT Eclipse |
| Description | Set of libraries and tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z and Circus. |
| Homepage | http://czt.sourceforge.net/eclipse |