.VDM File Extension
File Type 1VDM Specification File
What is a VDM file?
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++.
File Type 2VEDIT Macro File
.VDM File Association 2
Macro file used by VEDIT, a program used for editing large text files; contains macro program code written in the VEDIT scripting language; automates VEDIT file editing functions, such as formatting, text replacements, or translating between text encodings.
VDM files can be used to fully control the functionality provided in VEDIT. VDM macros can operate on files up to 100+ gigabytes in size, and they can be run on any type of file, including text, binary, hex, or EBCDIC.