Formal
methodsZ
notation
|
|
||
|
Object-Z is an object-oriented extension of the formal specification language Z. It was developed by a team of researchers at the Software Verification Research Centre, The University of Queensland. The most comprehensive reference for Object-Z is |
 |
Graeme Smith. The
Object-Z Specification Language. Advances
in Formal Methods. Kluwer
Academic Publishers, 2000. ISBN 0-7923-8684-1. 160 pages.
Errata can be found here. |
The following on-line information is available.
(The information on these pages has not been updated since 2004). Frequently
Asked Questions
|
|
These pages are maintained by Graeme Smith. Comments, corrections and suggestions welcome (smith@itee.uq.edu.au). |