Блог

Я пытаюсь работать с VDM-SL Toolbox, но не могу найти никаких учебных пособий. Если у кого-то есть какие-либо учебные пособия, пожалуйста, поделитесь. Спасибо

Здесь доступна некоторая информация: http://fmvdm.org/doc/index.html

Но я бы рекомендовал вам также рассмотреть инструмент Overture. Это имеет лучшую поддержку сообщества. Вы можете найти его здесь: http://overturetool.org /, и учебные пособия здесь: http://overturetool.org/documentation/tutorials.html