Есть ли уроки для VDM-SL Toolbox

Question

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

Answer 1

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

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