Formal languages 有VDM-SL工具箱的教程吗

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

这里有一些信息：

但是我建议你也考虑一下序曲工具。这有更好的社区支持。您可以在此处找到它：，并在此处找到教程：