• VDMJ是一个方便、易于使用的工具，专门设计提供了一个基本工具，支持VDM-SL，VDM++和VDM-RT规范的语言、书写的。

    它包括一个分析器、一类型的检查,一名翻译，一个调试器和义务证明发生器。 它是用来通过的序曲蚀的项目。

  • VDMJ है एक आसान, प्रयोग करने में आसान उपकरण विशेष रूप से डिजाइन की पेशकश करने के लिए एक बुनियादी उपकरण का समर्थन करता है कि VDM-SL, VDM++ और VDM RT विशिष्टता भाषाओं, जावा में लिखा है.

    यह भी शामिल है, एक विश्लेषक, एक प्रकार चेकर, एक दुभाषिया, एक डिबगर और एक सबूत दायित्व जनरेटर. यह द्वारा इस्तेमाल किया जाता है ओवरचर ग्रहण परियोजना है ।

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