VDMJ

3.0.1-P Beta GPL    
  UNRATED
DOWNLOAD NOW 1.2 MB

  775 downloads

A development application with support for VDM-SL, VDM++ and VDM-RT specification languages that is used by the Overture Eclipse project

description

download

specs

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.
read more   
Last updated on February 26th, 2015

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

VDMJ - You can run VDMJ in your command prompt thus accessing the application's options.

0 User reviews so far.

SUBMIT