LTL3 tools 0.0.7

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

LTL 式からモニタ ("watchdogs") を生成するために使用できるツールのコレクション。これは、ランタイム検証の領域から認識されます。詳細については、関連するプロジェクトホームページを参照してください。

バージョン履歴

  • バージョン 0.0.7 に転記 2009-04-01
    いくつかの修正と更新
  • バージョン 0.0.7 に転記 2009-04-01

プログラムの詳細

  • カテゴリ: 教育 >
  • パブリッシャー: ltl3tools.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 0.0.7
  • プラットフォーム: windows