Overview
What is VDMJ?
VDMJ : A development application with support for VDM-SL, VDM++ and VDM-RT specification languages that is used by the Overture Eclipse project
In depth
A closer look at VDMJ
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.
Verdict
Should you download VDMJ?
VDMJ runs on
Windows 10/11
and is available under the
GNU Public License
license
— the installer is 1.2 MB.
We’ve catalogued it under
General.
✓
Verified clean. Every VDMJ build on SoftLookup is scanned for viruses, spyware, adware, trojans and backdoors. We re-test on every update.
Sponsored
At a glance
VDMJ specifications
- Publisher
-
Nick Battle
- Last updated
- Apr 25, 2026
- License
- GNU Public License
- Operating system
- Windows 10/11
- File size
- 1.2 MB
- Price
- Free
- Page views
- 482
Help fellow users decide. Share your experience with VDMJ.