Home > Apps > Microsoft Windows
File extension list filtered by software name
VDMTools
Found one file extension association related to VDMTools
Platform, operating system: Microsoft Windows
Go to: VDMTools description
VDMTools
Developer / company: Information is not available
The VDMTools supports software development based on the specification which is written by formal specification language, VDM-SL or VDM++.
Features:
- Syntax checker
- Type checker
- Integrity Examiner
- Interpreter and debugger
- Test coverage statistics tool
- Rose - VDM++ link
- Pretty Printer
- VDM++ to C++ code generator (Optional)
- VDM++ to Java code generator (Optional)
- Java to VDM++ generator (Optional)
- CORBA Compliant API (Optional)
The VDMTools software seems to be old or discontinued.
Such programs may not work on modern operating systems properly, are no longer available and supported by their original developers, or are simply obsolete for their purpose. Sometimes companies offer limited support through their website.
VDMTools works with the following file extensions:
Note: You can click on any file extension link from the list below, to view its detailed information. The list of extensions used or otherwise associated with the application may not be complete, because many common file extensions on our website, such as jpg (pictures) or txt (text files), can be opened by a large number of applications, or are too general file format. However most, if not all directly associated file extensions should be listed with its appropriate program. Although its likely, that some file extensions may be missing from the list of associated file extensions with the application, yet they can be opened, be part of, or otherwise be associated with the program.
.vdm
Comparison table of actions that VDMTools can perform with its associated file type beta
This table might not contain all possible associated or supported file types or may contain incorrect data.
If you need more information please contact the developers of VDMTools, or check out their product website.
File type \ Action | Open | Save | Edit | View | Play | Convert | Create | Record | Import | Export | Burn | Extract | Recover | Backup | Settings | Other | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
- | - | - | - | - | - | - | - | - | - | - | - | - | - | - | Yes | - |