ソフトウェアの提出
  1. ホーム
  2. Windows
  3. 他
  4. MCTK: a symbolic model checker for MAS

MCTK: a symbolic model checker for MAS

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

MCTK(モデルチェック時間と知識)は、知識の一時的なロジックの検証をサポートするマルチエージェントシステムのシンボリックモデルチェッカーです。これは、Xiangyu LuoによってNuSMV 2.1.2に基づいて開発されています。

バージョン履歴

  • バージョン N/A に転記 2011-07-27
    いくつかの修正と更新
  • バージョン N/A に転記 2011-07-27

プログラムの詳細

関連プログラム

  • MedIC Automated Pipeline Scheduler 無料

    MIPAV(医療画像処理、解析、可視化)プラグインフレームワークの拡張で、ユーザはパイプラインを設計して実行できます。

  • SmartHASH 無料

    SmartHASHは、分析プロセスから不機嫌な作業を取り出すために設計されたコンピュータフォレンジックツールです。ほとんどの調査の分析の側面でかなりの時間を節約できます。

  • Entropy 無料

    このプロジェクトは、ソースフォージでホストまたは更新されなくなりました

  • Flash Authoring iPhone Components 無料

    iPhone 開発に役立つフラッシュオーサリングコンポーネント。あなたは、あなたのソースForge IDで[email protected]で私に電子メールを送ることができますあなたがプロジェクトに参加したいです。

  • Asp.net Web Utilities Framework 無料

    Asp.netの将来のプロジェクトで私(および他の人)を助けるために、Webユーティリティのフレームワークフレームワークは、単に一般的な機能のための単純なクラスやユーザーコントロールなどを提供します - ボックス化され、拡張する準備ができています(ISとして - 無償!!

  • DARKSTARgames Open Source Project 無料

    ダークスタルゲームズは趣味のゲーム開発プロジェクトです。当社の3DエンジンEVENは、2007年向けのゲームリリースと共にオープンソースとして公開されます。しかし、我々はすでに今ソフトウェアを持っています, それは一般の人々のために興味深いかもしれません.

  • Workgroup Manager 無料

    ワークグループ マネージャー (WGM) は、リモート ユーザー/グループ管理とワークグループの最適化を可能にする Windows ワークグループ管理ツールです。ユーザーとグループは、追加/編集/削除でき、ユーザーはドラッグアンドドロップでグループに追加できます。

  • ascentemu 無料

    Ascent は、ワールド オブ ウォークラフト用の C++ ベースのサーバー ソフトウェア パッケージでした。このリポジトリは、現在は廃止されたプロジェクトのバックアップです。アルセムに取って代わられた。

  • Command-Line Argument Parser For Java 無料

    これは、Java のコマンドライン引数を、リスナーとイベントを使用してオブジェクト指向の方法で簡単に解析するためのライブラリです。

  • L2IrcBot 無料

    L2IrcBot は、1 つまたは複数の構成ファイルで定義されたリネージュ 2 サーバーのオン/オフライン状態をチェックする PircBot API の実装です。