開發者 mctk-tool.sf.net

MCTK（模型檢查時間和知識）是多代理系統的符號模型檢查器，支援知識的時間邏輯驗證。它基於NuSMV 2.1.2由羅香玉開發。