.vdm
File Type |
VDM Specification File |
File Format |
Proprietary (VDM) |
Usage |
Open manually |
Popularity |
★ ★ ★ ☆ ☆ 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 |
VDMTools
View with a text editor
|
macOS |
VDMTools
View with a text editor
|
Unix |
VDMTools
View with a text editor
|
|
Updated |
2007 |
|