Community Z Tools
Jump to navigation
Jump to search
This article relies largely or entirely on a single source. (April 2024) |
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 software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language.
CZT was proposed by Andrew Martin of Oxford University in 2001.[1]
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- CZT SourceForge website
- CZT initiative information by Andrew Martin
- Softpedia information
- CZT: A Framework for Z Tools by Petra Malik and Mark Utting (PDF)
