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	Size	InfoDownloads / Week
Parent folder
nightly	2016-04-09		4
2.0-pre1	2013-03-08		0
README.md	2013-04-03	485 Bytes	0
Totals: 3 Items		485 Bytes	4

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

Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview

Try free now

Simplify IT and security with a single endpoint management platform

Automate the hardest parts of IT

NinjaOne automates the hardest parts of IT, delivering visibility, security, and control over all endpoints for more than 20,000 customers. The NinjaOne automated endpoint management platform is proven to increase productivity, reduce security risk, and lower costs for IT teams and managed service providers. The company seamlessly integrates with a wide range of IT and security technologies. NinjaOne is obsessed with customer success and provides free and unlimited onboarding, training, and support.

Learn More

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