VDM

abbr.

vasodepressor material 血管减压物质；vector-drawn map 按矢量绘制的地图；video disc machine(s) 视频磁盘机；

VDM: visual molecular dynamics.
Proof in VDM: a practitioner's guide
VDMTools:advances in support for formal modeling in VDM
VDM++: a formal specification language for object-oriented designs
The IFAD VDM-SL toolbox:a practical approach to formal specifications
Systematic software development using VDM
Systematic Software Development using VDM, second edition
The overture initiative integrating tools for VDM
Modeling and validating distributed embedded real-time systems with VDM++
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++