MCTK: a symbolic model checker for MAS

相關軟體

• MedIC Automated Pipeline Scheduler 免費

  MIPAV（醫療圖像處理、分析和可視化）外掛程式框架的擴展，允許用戶設計和執行管道，這是多階段處理任務。

• SmartHASH 免費

  SmartHASH 是一種計算機取證工具，旨在將咕咕工作從分析過程中帶出來;從而在大多數調查的分析方面節省大量時間。

• Entropy 免費

  此專案不再託管或更新在源論壇

• Flash Authoring iPhone Components 免費

  快閃記憶體創作元件，以説明 iPhone 開發。你可以通過電子郵件在[email protected]你的源鍛造ID是你想加入該專案。

• Asp.net Web Utilities Framework 免費

  Asp.net Web 實用程式框架來説明我（和其他人）參與我未來的專案框架將簡單地提供簡單的類和使用者控制項等為常見的功能 - 盒裝和準備擴展（作為 - 沒有保修！

• DARKSTARgames Open Source Project 免費

  DARKSTARgame 是一個業餘遊戲開發專案。我們的 3D 引擎甚至將發佈為開源與遊戲版本旨在 2007 年。然而，我們已經有軟體，這可能是有趣的公眾。

• Workgroup Manager 免費

  工作組管理員 （WGM） 是一個 Windows 工作組管理工具，支援遠端使用者/組管理和工作組優化。可以添加/編輯/刪除使用者和組，也可以通過拖放將使用者添加到組中。

• ascentemu 免費

  上升是C++世界基於一個基於一個伺服器軟體包。此存儲庫是現已已失效項目的備份。被阿塞穆取代了

• Command-Line Argument Parser For Java 免費

  這是一個庫，用於通過偵聽器和事件以面向物件的方式輕鬆地分析 JAva 中的命令列參數。

• L2IrcBot 免費

  L2IrcBot 是 PircBot API 的實作，用於檢查由一個或多個設定檔定義的血統 2 伺服器的連線/離線狀態。