![](/statics/img/blank.png)
VDMJ
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О VDMJ
VDMJ обеспечивает базовую поддержку инструментов для языков спецификаций VDM-SL, VDM и VDM-RT, написанных на Java. Она включает в себя парсер, тип шашки, переводчик, отггер и доказательство обязательства генератора. Он используется проектом затмения увертюры.