CZTA set of tools for editing, type checking and animating formal specifications written in the Z specification language | |
Download |
CZT Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- CZT Team
- Publisher web site:
- Operating Systems:
- Mac OS X
- File Size:
- 5.2 MB
CZT Tags
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