Z notation

Summary

• The Z notation (universally pronounced zed, named after Zermelo-Fränkel set theory) is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and the formulation of proofs about the intended program behavior.

Similar Topics

• L-notation
• Notation
• N5 (notation)
• Ion notation
• Abc notation
• SPL notation
• Notation 3
• Infix notation
• Big O notation
• Quote notation

Related Topics

• Formal specification
• Set theory
• Specification language

  * This page is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Z notation".