Есть ли какие-либо учебники для 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