开发者 mctk-tool.sf.net

MCTK（模型检查时间和知识）是多代理系统的符号模型检查器，支持知识的时间逻辑验证。它基于NuSMV 2.1.2由罗香玉开发。