Файл с расширением .vdm

Общие сведения

Исходный код программы, основанный на VDM (Vienna Development Method) — наборе техник для систем компьютерного моделирования. Содержит код, написанный на языке VDM-SL (VDM Specification Language) или VDM++. 

Описание на русском Спецификация VDM
Описание на английском VDM Specification
Разработчик VDM

Расширение файла .vdm представляет собой спецификация VDM. Данный файл может быть открыт с помощью следующих программ: VDMTools, Просмотр с помощью текстового редактора.

Чем открыть

Windows VDMTools
Просмотр с помощью текстового редактора
MacOS VDMTools
Просмотр с помощью текстового редактора
Linux VDMTools
Просмотр с помощью текстового редактора