VDMJ

1.2 MB   776 downloads
3.0.1-P Beta GPL    
  not rated
A development application with support for VDM-SL, VDM++ and VDM-RT specification languages that is used by the Overture Eclipse project

description

download

specifications

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
1  
VDMJ - You can run VDMJ in your command prompt thus accessing the application's options.