LTL 式からモニタ ("watchdogs") を生成するために使用できるツールのコレクション。これは、ランタイム検証の領域から認識されます。詳細については、関連するプロジェクトホームページを参照してください。
バージョン履歴
- バージョン 0.0.7 に転記 2009-04-01
いくつかの修正と更新 - バージョン 0.0.7 に転記 2009-04-01
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: ltl3tools.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.0.7
- プラットフォーム: windows