VDMJ 3.0.1 Beta

A development application with support for VDM-SL, VDM++ and VDM-RT specification languages that is used by the Overture Eclipse project
VDMJ - You can run VDMJ in your command prompt thus accessing the application's options.
  1 Screenshot
VDMJ is a handy, easy to use tool specially designed to offer a basic tool that supports VDM-SL, VDM++ and VDM-RT specification languages, written in Java.

It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture Eclipse project.

Main features:

  • Parse, type check, execute and debug VDM specifications
  • Generate proof obligations
  • Generate detailed code coverage for tests
  • Perform combinatorial tests
  • Support for all three VDM dialects
  • Support for international character sets in specifications
  • Support for external libraries and remote control

last updated on:
November 5th, 2013, 3:48 GMT
file size:
1.1 MB
license type:
developed by:
Nick Battle
operating system(s):
Windows All
C: \ Programming \ Other Programming Files
Download Button

In a hurry? Add it to your Download Basket!

user rating



Rate it!

Add your review!