सॉफ्टवेयर सबमिट करें
  1. को
  2. Windows
  3. अन्य
  4. MCTK: a symbolic model checker for MAS

MCTK: a symbolic model checker for MAS

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 4.0/5 - ‎1 ‎वोट
डाउनलोड

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

संस्करण इतिहास

  • विवरण N/A पर तैनात 2011-07-27
    कई सुधार और अपडेट
  • विवरण N/A पर तैनात 2011-07-27

कार्यक्रम विवरण

संबंधित कार्यक्रम

  • MedIC Automated Pipeline Scheduler मुफ्त

    एमआईआईपीएवी (मेडिकल इमेज प्रोसेसिंग, एनालिसिस और विज़ुअलाइज़ेशन) प्लग-इन फ्रेमवर्क का विस्तार जो उपयोगकर्ता को पाइपलाइनों को डिजाइन और निष्पादित करने की अनुमति देता है, जो बहु-चरण प्रसंस्करण कार्य हैं।

  • SmartHASH मुफ्त

    SmartHASH एक कंप्यूटर फोरेंसिक उपकरण है जो ग्रंट वर्क को विश्लेषण प्रक्रिया से बाहर ले जाने के लिए डिज़ाइन किया गया है; जिससे अधिकांश जांचों के विश्लेषण पहलू में काफी समय की बचत होती है ।

  • Entropy मुफ्त

    इस परियोजना को अब SOURCEFORGE पर होस्ट या अपडेट नहीं किया गया है

  • Flash Authoring iPhone Components मुफ्त

    आईफोन विकास में मदद करने के लिए फ्लैश लेखन घटक। आप मुझे अपने स्रोत फोर्ज आईडी के साथ [email protected] पर ईमेल कर सकते हैं कि आप परियोजना में शामिल होना चाहते हैं।

  • Asp.net Web Utilities Framework मुफ्त

    Asp.net वेब उपयोगिताओं मेरे भविष्य की परियोजनाओं में मेरी मदद करने के लिए फ्रेमवर्क (और दूसरों) फ्रेमवर्क आम कार्यों के लिए सरल कक्षाएं और उपयोगकर्ता नियंत्रण आदि प्रदान करेगा - बॉक्स्ड और विस्तारित होने के लिए तैयार (जैसा

  • DARKSTARgames Open Source Project मुफ्त

    डार्कस्टैगेम्स एक शौक़ीन खेल विकास परियोजना है। हमारे 3 डी इंजन भी 2007 के लिए उद्देश्य खेल रिलीज के साथ एक साथ ओपन सोर्स के रूप में प्रकाशित किया जाएगा। लेकिन हम पहले से ही अब सॉफ्टवेयर है, कि जनता के लिए दिलचस्प हो सकता है

  • Workgroup Manager मुफ्त

    वर्कग्रुप मैनेजर (डब्ल्यूजीएम) एक विंडोज वर्कग्रुप मैनेजमेंट टूल है जो रिमोट यूजर/ग्रुप मैनेजमेंट और वर्कग्रुप ऑप्टिमाइजेशन को सक्षम करता है । उपयोगकर्ताओं और समूहों को जोड़ा/संपादित/हटाया जा सकता है और उपयोगकर्ताओं को खींचकर

  • ascentemu मुफ्त

    आरोहण वर्ल्ड ऑफ वारक्राफ्ट के लिए सी + + आधारित सर्वर सॉफ्टवेयर पैकेज था।यह भंडार अब मृत परियोजना का बैकअप है।इसका स्थान आर्सेमू ने लिया था ।

  • Command-Line Argument Parser For Java मुफ्त

    यह श्रोताओं और घटनाओं के माध्यम से ऑब्जेक्ट ओरिएंटेड तरीके से जावा में आसानी से कमांड लाइन तर्कों को पार्स करने के लिए एक पुस्तकालय है।

  • L2IrcBot मुफ्त

    L2IrcBot एक या एक या एक से अधिक कॉन्फ़िग-फाइलों द्वारा परिभाषित वंश 2-सर्वर की ऑन-/ऑफलाइन स्थिति की जांच करने के लिए PircBot एपीआई का कार्यान्वयन है।