Close menu
-
Windows Apps
-
Wordpress
-
Linux Apps
-
MAC Apps
0 Reviews
FREE
License
PAID
Version
VDMJ 3.0.1-P Beta
LatestUpdate
Last updated
OS
Language
EN
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.
No reviews found
SoftPas is a platform that provides you with the latest software and technology news, reviews, and guides. We also provide you with the latest software and technology trends.
Subscribe to newsletter
© Copyright 2024, All Rights Reserved by SoftPas
