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

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
report
malware
send us
an update
LICENSE TYPE:
GPL 
FILE SIZE:
1.1 MB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Nick Battle
CATEGORY:
C: \ Programming \ Other Programming Files
1 VDMJ Screenshot:
VDMJ - You can run VDMJ in your command prompt thus accessing the application's options.
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.

Last updated on November 5th, 2013

Runs on: Windows All

feature list requirements

#proof obligation generator #code parser #source code checker #parse #parser #generate #generator

Add your review!

SUBMIT