Location of Repository

An Extended VDM Refinement Relation?

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

Abstract

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:10.1.1.418.5095
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.eis.mdx.ac.uk/staff... (external link)
  • Suggested articles


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