![](/statics/img/blank.png)
VDMJ
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O 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 przez projekt zaćmienie Uwertura.