ACFは、フレームワークです モデルチェッカーを書く。 ACFは、最も構造が基本的な観察の上に構築されています モデルチェックアルゴリズムは、記述に使用される形式主義とは無関係である システム。
バージョン履歴
- バージョン 0.1 に転記 2000-03-21
いくつかの修正と更新 - バージョン 0.1 に転記 2000-03-21
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: aiken.cs.abo.fi/acf
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.1
- プラットフォーム: linux