40 Years of Computing at Newcastle

Department Technical Report Series No. 489

Proof in VDM: Reader's Notes

J.C. Bicarregui
J.S. Fitzgerald
R. Moore
B. Ritchie

University of Newcastle upon Tyne. 1994

Abstract

This report contains answers to the exercises in Proof in VDM: A Practitioner's Guide Springer-Verlag FACIT Series 1994 ISBN 3-540-19813-X The main sections of this report refer to the corresponding chapters of the book. The solutions to exercises given here are not necessarily the only ones. Indeed they may not always be the best! The answers use some simple lemmas which are not given in the book. These are stated where they are first used, and are generally stated without proof.

*This TR is not for distribution, but purchase only.