CZT swMATH ID: 5782 Software Authors: Community Z Tools Project Description: 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. Homepage: http://czt.sourceforge.net/ Programming Languages: Java Keywords: Software Development; Quality Assurance; Scientific/Engineering; Mathematics Related Software: Z; Circus; SPIN; ProofPower; Z/EVES; FDR2; ProBE; MOCHA; Alcoa; Casper; JACK; JML; NuSMV; SPARK; Alloy; Haskell; ArcAngel; Isabelle; TCOZ; ClawZ Cited in: 6 Publications all top 5 Cited by 12 Authors 2 Cavalcanti, Ana 1 Butterfield, Andrew 1 Derrick, John 1 Kim, Soon-Kyeong 1 Malik, Petra 1 Miyazawa, Alvaro 1 North, Siobhán 1 Sampaio, Augusto C. A. 1 Simons, Anthony J. H. 1 Toyn, Ian 1 Utting, Mark 1 Xavier, Manuela Cited in 3 Serials 2 Formal Aspects of Computing 1 Science of Computer Programming 1 Chicago Journal of Theoretical Computer Science Cited in 1 Field 6 Computer science (68-XX) Citations by Year