MCTK(模型检查时间和知识)是多代理系统的符号模型检查器,支持知识的时间逻辑验证。它基于NuSMV 2.1.2由罗香玉开发。
版本历史记录
- 版本 N/A 发布于 2011-07-27
若干修复和更新 - 版本 N/A 发布于 2011-07-27
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: mctk-tool.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
MCTK(模型检查时间和知识)是多代理系统的符号模型检查器,支持知识的时间逻辑验证。它基于NuSMV 2.1.2由罗香玉开发。