Using Z - Exercises

These exercises are intended for use with the book Using Z by Jim Woodcock and Jim Davies, published by Prentice-Hall (ISBN number 0-13-948472-8).

To move to the next page, click anywhere on the page body. To move to any other page, use the menu at the bottom. To return to this page, click on the topic name or select 0.

  1. Introduction
  2. Propositional Logic
  3. Predicate Logic
  4. Equality and Definite Description
  5. Sets
  6. Definitions
  7. Relations
  8. Functions
  9. Sequences
  10. Free Types
  11. Schemas
  12. Schema Operators
  1. Promotion
  2. Preconditions
  3. A File System
  4. Data Refinement
  5. Data Refinement and Schemas
  6. Functional Refinement
  7. Refinement Calculus
  8. A Telecommunications Protocol
  9. An Operating System Scheduler
  10. A Bounded Buffer Module
  11. A Save Area
The latest version of these exercises is available from the exercises area of our web site.

(c) Jim Davies and Jim Woodcock June 1999