FMVDM

VDMToolsのソースコードレポジトリ

Eclipse ベースの VDM 統合開発環境 Overture tool のサイト

植木氏による ITmedia での連載記事