vdm文件扩展名，vdm文件怎么打开？

vdm文件扩展名，vdm文件怎么打开？

.vdm

文件类型1：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.

打开.vdm文件

Mac OS

　

Windows

Greenview Data VEDIT

Microsoft Notepad

Any text editor　

Linux

其它内容

.vdm

文件类型2：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++.

打开.vdm文件

Mac OS

VDMTools

View with a text editor　

Windows

VDMTools

View with a text editor　

Linux

VDMTools

View with a text editor

来源：.vdm文件