Community Z Tools Files

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
linux-32bit	2016-04-09	0
linux-64bit	2016-04-09	0
mac	2016-04-09	0
windows	2016-04-09	0
windows-64bit	2016-04-09	3
Totals: 5 Items		3

Community Z Tools IDE

Standalone CZT IDE, based on Eclipse platform. This IDE provides a lightweight package of Eclipse with CZT plug-ins, streamlined for work on Z specifications.

Archived distributions are available for Windows (32- and 64-bit), Linux (32- and 64-bit) and Mac OS X (64-bit). Download appropriate distribution, extract it and start formalising.

The current version has not been officially released yet, therefore only nightly builds are available at the moment.

Source: README.md, updated 2013-04-03

Other Useful Business Software

Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Recommended Projects

jEdit
jEdit is a programmer's text editor written in Java.
OpenOME
This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome
Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
A Complete Beginner's Guide to Django
A Complete Beginner's Guide to Django - Code Samples

Community Z Tools Files

Tool support for the Z formal notation

Get an email when there's a new version of Community Z Tools

Community Z Tools IDE