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

Name	Modified	Size	InfoDownloads / Week
Parent folder
nightly	2016-04-09		0
2.0-pre1	2013-03-08		0
README.md	2013-04-03	485 Bytes	0
Totals: 3 Items		485 Bytes	0

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

You Might Also Like

Securden Privileged Account Manager

Unified Privileged Access Management

Discover and manage administrator, service, and web app passwords, keys, and identities. Automate management with approval workflows. Centrally control, audit, monitor, and record all access to critical IT assets.

Learn More

EBizCharge Payment Platform for Accounts Receivable

Getting paid has never been easier.

Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.

Learn More

Community Z Tools Files

Tool support for the Z formal notation

Community Z Tools IDE