CZT: A Framework for Z Tools

  • Petra Malik
  • Mark Utting
Conference paper

DOI: 10.1007/11415787_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3455)
Cite this paper as:
Malik P., Utting M. (2005) CZT: A Framework for Z Tools. In: Treharne H., King S., Henson M., Schneider S. (eds) ZB 2005: Formal Specification and Development in Z and B. ZB 2005. Lecture Notes in Computer Science, vol 3455. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Petra Malik
    • 1
  • Mark Utting
    • 1
  1. 1.The University of WaikatoHamiltonNew Zealand

Personalised recommendations