Programy według sf.net/projects/vdmj/

VDMJ zapewnia podstawową obsługę narzędzi dla języków specyfikacji VDM-SL, VDM++ i VDM-RT, napisanych w języku Java. Zawiera analizator, kontroler typów, interpreter, debuger i generator obowiązku dowodu. Jest on używany prze