MCTK: a symbolic model checker for MAS

関連プログラム

• 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 の実装です。