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.
Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window vdmj-suite-4.4.6.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
