Formal Methods Wiki
Register
Advertisement

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[]

Advertisement