Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)
John S. Fitzgerald, Peter Gorm Larsen · 2006
The Vienna development method (VDM) is one of the longest established and best known formal methods. Recent developments in VDM have included its extension to support object-oriented design and concurrency in VDM++ and providing a capability for modelling real-time distributed systems. VDM is model-oriented - the formal language is used to construct a model of the system of interest, given in terms of data and functionality. In this paper, we draw on experience in developing the semantics and tool support for VDM, and in applying VDM technology in industry, to identify achievements and challenges in providing lightweight but effective formal methods.