THE LIVING ARCHIVE

From punched cards to autonomous collaborators: the ideas, people, languages and systems that taught machines to follow—and increasingly interpret—human intent.

PAST / PRESENT / NEXT

Collection

Tag: z-notation

Jean-Raymond Abrial, Z, and the Rise of Formal Specification Before Implementation

Z made abstract state, invariants and operations into a mathematical specification language, while Abrial's later B work pushed formal methods toward refinement and verified construction.

↗