是否有任何VDM-SL工具箱教程

Question

我正在尝试使用VDM-SL Toolbox，但找不到任何教程。如果有人有任何教程请分享。谢谢

Answer 1

此处提供了一些信息：http://fmvdm.org/doc/index.html

但我建议您考虑Overture工具。这有更好的社区支持。您可以在此处找到它：http://overturetool.org/，以及此处的教程：http://overturetool.org/documentation/tutorials.html