Community Z Tools

Tools include support for editing, typechecking and animating Z specifications. Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. There is some support for extensions such as Object-Z and TCOZ. CZT was proposed by Andrew Martin in 2001. "To establish an internet-based community project to build a framework for Z tool integration and ultimately numerous plug-in tools. " The CZT Community Z Tools (CZT) project is a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering. The tools are built using the Java programming language.