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 服务器的联机/脱机状态。