VDMJ

Name: VDMJ
Works on: windows

Windows 7 and above

Version: 3
Last Updated: 05 Apr 2017
Release: 06 Mar 2015
Category: Programming > Other Programming Files

Rate this software:
242 downloads

View Screenshots(1)

Comments

Download

Liked it? Tell others:

VDMJ Tags

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

VDMJ Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
SHA1 Hash: 6f462706d350e86f70a2fb51f01a61ec3921d7d0
Size: 1.26 MB
File Format: jar

Rating: 1.956521739 out of 5 based on 23 user ratings

Publisher Website: External Link
Downloads: 242
License: Free

VDMJ is a free software by Nick Battle and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download VDMJ which is 1.26 MB in size and belongs to the software category Other Programming Files.
VDMJ was released on 2015-03-06 and last updated on our database on 2017-04-05 and is currently at version 3.

Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:

Rate this software:
Share in your network:

VDMJ Description

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.System requirementsJava

VDMJ Screenshots

Similar Software