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:
“Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
—Ludwig Wittgenstein (1889–1951)
“At the utmost, the active-minded young man should ask of his teacher only mastery of his tools. The young man himself, the subject of education, is a certain form of energy; the object to be gained is economy of his force; the training is partly the clearing away of obstacles, partly the direct application of effort. Once acquired, the tools and models may be thrown away.”
—Henry Brooks Adams (1838–1918)
“The study of tools as well as of books should have a place in the public schools. Tools, machinery, and the implements of the farm should be made familiar to every boy, and suitable industrial education should be furnished for every girl.”
—Rutherford Birchard Hayes (1822–1893)