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 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
price:
FREE!
developed by:
Nick Battle
license type:
GPL 
operating system(s):
Windows All
category:
C: \ Programming \ Other Programming Files

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!
1 Screenshot
VDMJ - You can run VDMJ in your command prompt thus accessing the application's options.

Add your review!

SUBMIT