Malik, P. & Utting, M.(2005). CZT: A framework for Z tools. In Proceeding of 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005(pp. 65-84). Berlin: Springer.
Permanent Research Commons link: http://hdl.handle.net/10289/1522
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX , Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the SO Standard for Z.