【发布时间】：2016-10-14 14:41:41
【问题描述】：
我正在尝试使用 VDM-SL Toolbox，但找不到任何教程。如果有人有任何教程，请分享。谢谢
【问题讨论】：
【发布时间】：2016-10-14 14:41:41
【问题描述】：
这里有一些信息：http://fmvdm.org/doc/index.html
但我建议您也考虑使用 Overture 工具。这有更好的社区支持。你可以在这里找到它：http://overturetool.org/，教程在这里：http://overturetool.org/documentation/tutorials.html
【讨论】：