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
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