Table of contents for Formal methods fact file : VDM and Z / Andrew Harry.


Bibliographic record and links to related information available from the Library of Congress catalog


Information from electronic data provided by the publisher. May be incomplete or contain other coding.


Counter
Why Do We Need Formal Methods?
Background Material.
Formal Specification Styles.
Introduction to Model-Based Languages.
VDM.
The Z Notation.
Formal Semantics.
Tool Support.
The Future of Formal Methods.
Appendices.
Solutions to VDM Exercises.
Solutions to Z Exercises.
Recommended Reading.
Glossary.
Index.