![](/statics/img/blank.png)
MCTK: a symbolic model checker for MAS
लाइसेंस: मुफ्त फ़ाइल आकार: N/A
उपयोगकर्ताओं की रेटिंग: 4.0/5 - 1 वोट
कृपया प्रतीक्षा करो।।। दुर्भावनापूर्ण सामग्री के लिए आपका डाउनलोड लिंक सत्यापित किया जा रहा है.
आप 5 सेकंड में डाउनलोड कर सकेंगे।
आप 5 सेकंड में डाउनलोड कर सकेंगे।
करीबन MCTK: a symbolic model checker for MAS
एमसीटीके (मॉडल चेकिंग टाइम एंड नॉलेज) मल्टी-एजेंट सिस्टम के लिए एक प्रतीकात्मक मॉडल चेकर है, जो ज्ञान के लौकिक तर्क के सत्यापन का समर्थन करता है। यह जियांग्यू लुओ द्वारा NuSMV 2.1.2 पर आधारित विकसित किया गया है।