CZT for Eclipse Develop Z specifications in Eclipse-based Community Z Tools IDE: parsing, typechecking, verification condition generation and more! CZT for jEdit If jEdit is your editor of choice, use CZT jEdit plugins to typeset your Z specifications. CZT 2.0 preview! This website represents a preview of the upcoming CZT 2.0 release - the information available here may refer to tools that are par