.vdm
| File Type |
 VDM 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 |
 VDMTools
View with a text editor
|
| macOS |
VDMTools View with a text editor |
| Unix |
VDMTools View with a text editor |
|
| Updated |
2007 |
|
VDM Specification File
