Source code of a program based on VDM (the Vienna Development Method), a set of techniques for modeling computing systems; contains code written in VDM-SL (the VDM Specification Language) or VDM++.
Program(s) that open vdm files
Mac / Windows / Unix: VDMTools; View with a text editor
Information from FileInfo.com - The File Extensions Resource.
http://www.fileinfo.com/extension/vdm
