Analyzer Component Framework 0.1

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

ACFは、フレームワークです モデルチェッカーを書く。 ACFは、最も構造が基本的な観察の上に構築されています モデルチェックアルゴリズムは、記述に使用される形式主義とは無関係である システム。

バージョン履歴

  • バージョン 0.1 に転記 2000-03-21
    いくつかの修正と更新
  • バージョン 0.1 に転記 2000-03-21

プログラムの詳細