VDMJ

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

  • VDMJ
  • Version :3.0.1-P Beta
  • License :GPL
  • OS :Windows All
  • Publisher :Nick Battle

Download Now

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 requirements

  • Java

Leave a Reply

Your email address will not be published. Required fields are marked *