द्वारा कार्यक्रम mctk-tool.sf.net

एमसीटीके (मॉडल चेकिंग टाइम एंड नॉलेज) मल्टी-एजेंट सिस्टम के लिए एक प्रतीकात्मक मॉडल चेकर है, जो ज्ञान के लौकिक तर्क के सत्यापन का समर्थन करता है। यह जियांग्यू लुओ द्वारा NuSMV 2.1.2 पर आधारित विकसित किया गया है।