About VDMTools

You can download VDMTools Lite by logging in this web.

The VDMTools supports software development based on the specification which is written by formal specification language,
VDM-SL or VDM++. VDMTools provides the various features which are described below.

• 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)

VDMTools can be installed on the following platforms.

Operating System:

- Windows 2000 or XP

- Linux (SuSE, Mandrake, Red Hat, Fedora Core)

- Mac OS Tiger(10.4) and later

PCs

Required Disk space: 80MB

Required Memory: 128MB

Pointing devices

Rose 98 (to use Rose-VDM++ link feature)