VDMTools
VDM++
等を使うための
IDE
開発が止まっているっぽいので
Overture Tool
を使うのが良さそう。
ダウンロード:
FMVDM
GitHub:
vdmtools/vdmtools: source code of VDMTools
確認用
Q. VDMTools
参考
VDM++による形式仕様記述
関連