Z (“zed”)
Perhaps the most widely known and used model-based specification language
Good for describing state-based abstract descriptions roughly in the abstract data type style
Based on typed set theory and predicate logic
A few commercial successes
- I’ll come back to one reengineering story afterwards