A retrospective on CZT

摘要

Community Z Tools (CZT) is an open-source Java framework for building formal methods tools for the specification language Z and extensions of Z. This paper gives an overview of CZT: its history, architecture, and development process. Extensibility is core to CZT and the main aims of this paper are to encourage and enable formal methods tool developers to utilize, extend, and contribute to CZT. The paper is also of value to people interested in open-source or formal methods software in general since many of the techniques and practices described are not specific to CZT and could be applied to other frameworks. open-source; tools; formal methods; Z notation