PROGRAMS BY mctk-tool.sf.net

MCTK (Model Checking Time and Knowledge) is a symbolic model checker for multi-agent systems, which supports the verification of temporal logic of knowledge. It is developed based on NuSMV 2.1.2 by Xiangyu Luo.