Tools
- Espino, Luis, ERZ: Tool for to transform ER model to Z Notation equivalent, http://erz.comli.com/.
- Community Z Tools (CZT) (project), Source forge, http://czt.sourceforge.net/.
- Z Word tools (project), Source forge, http://zwordtools.sourceforge.net/ for developing and checking Z specifications in Microsoft Word.
- Spivey, Michael ‘Mike’, Fuzz Type-Checker for Z, http://spivey.oriel.ox.ac.uk/mike/fuzz/.
- Z/Eves — A proof checker for the Z notation (German site but all manuals in English)
- Z/EVES Documentation, papers, and manuals on Z/EVES
- ZETA open-source system for development software specifications in Z
- HOL-Z open-source proof environment for Z in Isabelle/HOL
- CADiZ, a set of free software tools that assist use of Z notation
- ProofPower, a suite of open-source tools supporting specification and proof in HOL and in the Z notation
- Vimes An independently developed type checker.
- z-vimes Alternate source of Vimes.
Read more about this topic: Z Notation
Famous quotes containing the word tools:
“... pure and intelligent women can be deceived and misled by the baser sort, their very innocence and experience making them credulous and the helpless tools of the guilty and bold.”
—Catherine E. Beecher (1800–1878)
“But lo! men have become the tools of their tools.”
—Henry David Thoreau (1817–1862)
“Machinery is aggressive. The weaver becomes a web, the machinist a machine. If you do not use the tools, they use you. All tools are in one sense edge-tools, and dangerous.”
—Ralph Waldo Emerson (1803–1882)