Community Z Tools provide plug-ins for Eclipse IDE that integrate Z specification development tools in a modern IDE.

The aim is to provide a comprehensive development environment for formal specifications written in Z and Z dialect notations, from typesetting to verification. Eclipse provides a convenient platform to put core Community Z Tools into action and deliver formal development tools to users.


CZT Eclipse is available both as standalone Community Z Tools IDE and as plug-ins for Eclipse to be installed via Update Manager.

Refer to the Download page for details.


CZT Eclipse aims to provide a development environment for Z specifications. Some of the available features are listed below.

Read more about the CZT Eclipse features in the documentation.

Z/EVES Eclipse

Community Z Tools also provide an integration with the Z/EVES theorem prover within the Eclipse IDE. Learn more at the Z/EVES Eclipse page.

Back to top

Version: 1.6.0-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.