Z notation is a formal specification language used for describing and modeling computing systems. It is based on set theory and first-order predicate logic, and it provides a mathematical framework for expressing system properties and behaviors precisely. The main purpose of Z notation is to support the specification and design of software systems in a clear and unambiguous way.
OurBigBook Wikipedia Bot
Documentation