search menu icon-carat-right cmu-wordmark

Using the Vienna Development Method (VDM) to Formalize a Communication Protocol

November 1988 Technical Report
Jan Storbank Pedersen, Mark H. Klein

This 1988 paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.

Publisher:

Software Engineering Institute

CMU/SEI Report Number

CMU/SEI-88-TR-026

Abstract

The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several application domains. This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.