CZT A set of tools for editing, type checking and animating formal specifications written in the Z specification language
Download

CZT Ranking & Summary

CZT Tags

edit edit text text unicode spellcheck text unicode editor

CZT Description

A set of tools for editing, type checking and animating formal specifications written in the Z specification language The Community Z Tools (CZT) project is building a set of tools for editing, type checking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z, Circus, and TCOZ. These tools are all built using the CZT Java framework for Z tools.Beta-versions of the end-user CZT tools are now included in the CZT releases (download). This includes a jEdit-based Z editor that gives WYSIWYG editing of the Unicode markup for Z, template-based insertion of Z constructs for LaTeX and Unicode markup, automatic typechecking on each save.CZT also includes a SideKick panel that shows the structure of your Z specification, conversion between the different markups and much much more. Here are some key features of "CZT": · An XML Schema markup for Z. · Java classes for Z annotated syntax trees (AST). · Java classes for converting between XML and Java AST. · Java libraries for the common operations needed in every Z tool (markup-converters, parser, type-checker, etc.). A paper describing these has been presented at ZB2005. · Graphical Z editors, with facilities for easily entering the special Z unicode symbols. Currently we provide jEdit and eclipse plugins. · A Z animation tool called ZLive, with a customisable graphical user interface. · Export tools, to output Z in other notations or for other Z tools. · Extended versions of the libraries and tools to support Z extensions such as Object-Z and CIRCUS. Requirements: · Java What's New in This Release: · Lots of changes and new tools.

CZT Related Software