Toggle Main Menu Toggle Search

Open Access padlockePrints

VDMTools: advances in support for formal modeling in VDM

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.


We describe the current status of "VDMTools", a group of tools supporting the analysis of system models expressed in the formal language of the Vienna Development Method. Three dialects of the language are supported: the ISO standard VDM specification language with support for modular structuring, the extension VDM++ which supports objectoriented structuring and concurrency, and a version extending VDM++ with features for modeling and analysing distributed embedded real-time systems. VDMTools provides extensive static semantics checking, automatic code generation, roundtrip mapping to UML class diagrams, documentation support, test coverage analysis and debugging support. The tools’ focus is on supporting the cost-effective development and exploitation of formal models in industrial settings. The paper presents the components of VDMTools and reports recent experience using them for the development of large models.

Publication metadata

Author(s): Fitzgerald JS, Larsen PG, Sahara S

Publication type: Article

Publication status: Published

Journal: ACM SIGPLAN Notices

Year: 2008

Volume: 43

Issue: 2

Pages: 3-11

Print publication date: 01/02/2008

ISSN (print): 1523-2867

Publisher: Association for Computing Machinery


DOI: 10.1145/1361213.1361214


Altmetrics provided by Altmetric