Z Word Tools is a SourceForge project providing tools to allow Z specifications to be written in Microsoft Word. It includes a Unicode font for Z symbols and capabilities for editing, typechecking, indexing and cross-referencing. It can create diagrams showing the structure of your specification. It supports large specifications in multiple Word documents. The tool uses either fuzz or CZT to typecheck Spivey Z or ISO Standard Z. The tool has been written by Anthony Hall and is available for download at no charge.

External links Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.