Group: dk.au.ece.vdmj - All Dependencies

Annotations · Annotations

Annotations2 · Annotations2

Command Plugins · Example and useful CommandPlugin examples

Command Plugins · Example and useful CommandPlugin examples

DBGP · DBGP protocol handler for VDMJ

LSP · VDMJ LSP Server

V2C · Example VDM to C class mapper implementation

VDMJ Suite · VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.

Example CSV Reader · An example external file reader for CSV files

Packaging · Distribution packaging for key jars

QuickCheck plugin · Direct execution plugin for PO verification.

Example Simulation · An example RemoteSimulation