.VDM File Extension

There are 2 file types use the .VDM file extension:

  1. VDM Specification File
  2. VEDIT Macro File

1. VDM Specification File

VDM Specification 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++.

Software's name License Platforms
VDMTools VDMTools LinuxMacWindows
View with a text editor View with a text editor LinuxMacWindows

Updated: October 8, 2009

2. VEDIT Macro File

VEDIT Macro File

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.

Software's name License Platforms
Any text editor Any text editor AndroidChrome OSiOSLinuxMacWindowsWindows Phone
Greenview Data VEDIT Greenview Data VEDIT Windows
Microsoft Notepad Microsoft Notepad Bundled MacWindows

Updated: September 7, 2009

Search File Extensions