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.