Community Z Tools

{{one source |date=April 2024}}

The Community Z Tools (CZT) initiative is based around a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language.

CZT was proposed by Andrew Martin of Oxford University in 2001.{{cite news| first=Andrew | last=Martin | authorlink=Andrew Martin (computer scientist) | url=http://www.cs.ox.ac.uk/andrew.martin/CZT/proposal.html | title=Proposal: Community Z Tools Project (CZT) | publisher=University of Oxford | location=UK | date=25 September 2001 }}