VDMTools

• リリース版 (9.0.7)

  VDM10 の新言語機能の実装とバグフィックス(pure 操作, measure 関数の実行, 複合型に対する ord/eq 句, 列の内包表記での列束縛(in seq) など

  • Windows VDM-SL VDM++
  • MacOSX 10.13 VDM-SL VDM++
  • MacOSX 10.12 VDM-SL VDM++
  • MacOSX 10.7 VDM-SL VDM++
  • Linux VDM-SL VDM++
  • Mint Linux VDM-SL VDM++
• インストール VDM++ VDM-SL
• VDMTools関連ドキュメント
• ソースレポジトリ