Z is a FormalSpecification notation which can be automatically verified.

The notation is spelled "Z" and pronounced "zed", since it was created at Oxford and based on Zermelo-Fränkel SetTheory.

* http://vl.zuser.org/
* http://en.wikipedia.org/wiki/Z_notation
* Z was used to verify IBM's CustomerInformationControlSystem product and parts of the IEEE floating point binary specification IeeeSevenFiftyFour.

----
"zed", pronounced "zed", was also the stream editor on the IBM3084 mainframe at CambridgeUniversity in the 1980's.  It was a lot like SedLanguage, including having a full-screen mode similar to vi.  Some of the processing for my PhD thesis was done in zed.
----
CategoryProgrammingLanguage