• Summery
• Reference

Summary

VDM (The Vienna Development Method) is one of the model based Formal Method which was developed in the middle of 1970s at the institution of IBM in Vienna. The formal specification language, VDM-SL, became the ISO standard language in 1996.(ISO/IEC 13817-1)

VDMTools supports to analyze precise models of computing systems which are expressed either in the VDM-SL language or in the object-oriented formal specification language VDM++.

Reference

Modelling Systems: Practical Tools and Techniques in Software Development

John Fitzgerald, Peter Gorm Larsen

Cambridge Univ Pr (Sd);ISBN:0521626056

Validated Designs For Object-oriented Systems

Peter Gorm Larsen, Paul Mukherjee, Nico Plat,

Marcel Verhoef, John Fitzgerald

Springer Verlag;ISBN:1852338814