Z notation examples

These pages look best when this and this X are about the same size: X. See these viewing tips.

By way of explanation:

• What is Z?

Short case studies based on chapters in The Way of Z:

• Finite state machine
• Document control system
• Text processing

Portions of a large specification used to develop a real system:

• Radiation therapy machine

Reference material:

• Z glossary
• Z mathematical tool-kit

Lecture notes about Z:

• Lecture notes

Brief samples showing how to display Z in HTML:

• Test page

Created from these LaTeX source files with the Z2HTML translator.

Z home page with FAQ and links to publications, tools, and meetings.

Copyright notice