CZT

CZT is a Java framework and a suite of tools built on that framework for editing, type checking, and animating formal specifications written in the Z specification language. In addition to the ISO standard, there is some support for Z extensions, such as Object-Z, Circus and TCOZ. (Source: http://freecode.com/)


References in zbMATH (referenced in 12 articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Wu, Nicolas; Simpson, Andrew: Formal relational database design: an exercise in extending the formal template language (2014) ioport
  2. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-oriented models of Stateflow charts (2012)
  3. Derrick, John; North, Siobhán; Simons, Anthony J. H.: Z2SAL: a translation-based model checker for Z (2011)
  4. Butterfield, Andrew: Saoithín: a theorem prover for UTP (2010)
  5. Utting, Mark; Malik, Petra; Toyn, Ian: Transformation rules for Z (2010)
  6. Kim, Soon-Kyeong; Carrington, David: A formalism to describe design patterns based on role concepts (2009)
  7. Leuschel, Michael; Butler, Michael: Prob: An automated analysis toolset for the B method (2008) ioport
  8. Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto: Type checking \textsfCircusspecifications (2008)
  9. Freitas, Leo; Woodcock, Jim; Cavalcanti, Ana: State-rich model checking (2006) ioport
  10. Freitas, Leo; Woodcock, Jim; Cavalcanti, Ana: State-rich model checking (2006) ioport
  11. Malik, Petra; Utting, Mark: CZT: A framework for Z tools (2005) ioport
  12. Miller, Tim; Freitas, Leo; Malik, Petra; Utting, Mark: CZT support for Z extensions (2005) ioport