.vdm

File Type Generic IconVDM Specification File
File Format Proprietary (VDM)
Usage Open manually
Rank ★ ★ ☆  Average
Description

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 With
Windows

IconVDMTools

IconView with a text editor

macOS

IconVDMTools

IconView with a text editor

Unix

IconVDMTools

IconView with a text editor

Updated 2007
space