Toggle Main Menu Toggle Search

Open Access padlockePrints

Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


The “lightweight formal methods” paradigm emphasises the use of abstract modelling as an aid to understanding and design of computer-based systems. It advocates careful targeting of formal methods technology on specific system parts or aspects, rather than large-scale application. The challenge of implementing the lightweight paradigm was taken up a decade ago by the community working with the Vienna Development Method (VDM), developing its semantics, tools and encouraging industry application. This paper reports industrial successes over that period, and identifies challenges for industrial formal methods application in the near future.

Publication metadata

Author(s): Fitzgerald JS, Larsen PG

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Year of Conference: 2006

Pages: 1-4

Publisher: IEEE


DOI: 10.1109/ISoLA.2006.33

Notes: Available as Technical Report CS-TR 999, School of Computing Science, Newcastle University, Newcastle upon Tyne, January 2007.

Library holdings: Search Newcastle University Library for this item


ISBN: 9780769530710