FileInfo

Languages

Overview

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

More Information 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.

Popularity3/5

20 votes

Quick AppOpen with
VerifiedVerified by FileInfo.com The FileInfo.com team has independently researched all file formats and software programs listed on this page. Our goal is 100% accuracy and we only publish information about file types that we have verified. If you would like to suggest any additions or updates to this page, please let us know .

Document Icon

Breadcrumbs

DeveloperGreenview Data
Popularity2.8 | 8 Votes

Previous / Next

In-Depth

.VDM File Extension

2 file types use the .vdm file extension.

VDM Specification File

DeveloperVDM
Popularity
3.0  |  20 Votes
 

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

Open over 400 file formats with File Viewer Plus . Free Download

Programs that open VDM files

Sort

Pricing

Program Name

Platform

Reset

X

Windows

VDMTools

View with a text editor

Mac

VDMTools

View with a text editor

Linux

VDMTools

View with a text editor

Category: Developer Files

Updated: February 17, 2010

VEDIT Macro File

DeveloperGreenview Data
Popularity
2.8  |  8 Votes
 

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.

More Information

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.

Programs that open VDM files

Sort

Pricing

Program Name

Platform

Reset

X

Windows

Greenview Data VEDIT

Microsoft Notepad

Included with OS

Any text editor

Category: Developer Files

Updated: February 17, 2010

FAQ

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