VDMJ

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

VDMJ は、Java で記述された VDM-SL、VDM++、および VDM-RT 仕様言語の基本的なツール・サポートを提供します。これには、パーサー、型チェッカー、インタプリタ、デバッガ、および証明義務ジェネレータが含まれます。これは、序曲日食プロジェクトで使用されます。

バージョン履歴

  • バージョン N/A に転記 2011-06-24
  • バージョン Jars に転記 2011-03-14
    いくつかの修正と更新

プログラムの詳細