Skip to main content
Article thumbnail
Location of Repository

An Extended VDM Refinement Relation?

By Morten Elvang-Gøransson and Robert E. Fields


The original definition of refinement proof obligations in VDM is reviewed and examples are discussed which, while being intuitively sensible, pose problems for this definition of refinement. An extended VDM refinement relation is introduced, to cope with the problems. Some non-standard applications of the extended refinement proof obligations are discussed

Year: 1994
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.