.VDM 文件扩展名

源代码 基于VDM（维也纳开发方法）的程序，这是一套用于对计算系统进行建模的技术； 包含以VDM-SL（VDM规范语言）或VDM ++编写的代码。

宏 VEDIT使用的文件，VEDIT是用于编辑大型文本文件的程序； 包含以VEDIT脚本语言编写的宏程序代码； 自动执行VEDIT文件编辑功能，例如格式化，替换文本或在文本编码之间进行翻译。

VDM文件可用于完全控制VEDIT中提供的功能。 VDM宏可以在最大100 + GB的文件上运行，并且可以在任何类型的文件上运行，包括文本，二进制，十六进制或EBCDIC。