VDMJ A development application with support for VDM-SL, VDM++ and VDM-RT.
Download

VDMJ Ranking & Summary

VDMJ Tags

generate Dynamics SL parser parse VDM code parser proof obligation generator source code type checker rt

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. Main features: Parse, type check, execute and debug VDM specifications Generate proof obligations Generate detailed code coverage for tests Perform combinatorial tests Support for all three VDM dialects Support for international character sets in specifications Support for external libraries and remote control

VDMJ Related Software