Dr. Kasi Periyasamy's Notes on Z

Introduction to formal specification and Z
Set notation in Z
Sequences and relations in Z
Functions in Z
Schema notation in Z
Precondition calculation in Z
Promotion in Z
Black-box testing from Z specifications
The Object-Z notation - brief summary
Refinement of Z specifications

These notes were prepared by Dr. Kasi Periyasamy.