Community Z Tools

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2003-2010
01220032010

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Following the development of formalisms based on data and behavioural aspects of the system, there are number of attempts in… (More)
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
2010
2010
Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the… (More)
Is this relevant?
Review
2005
Review
2005
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2003
2003
This paper proposes an XML format for standard Z.We describe several earlier XML proposals for Z, the problems and issues that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?