सॉफ्टवेयर सबमिट करें
  1. को
  2. Windows
  3. अन्य
  4. MCMAS-SC model checker
  5. Download

MCMAS-SC model checker

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

करीबन MCMAS-SC model checker

सामाजिक प्रतिबद्धताओं और उनकी पूर्ति की पुष्टि करने के लिए एक नया मॉडल चेकर, जिसे MCMAS-SC कहा जाता है । यह सीटीएलसी तर्क के सत्यापन का समर्थन करने के लिए MCMAS मॉडल चेकर का एक विस्तार है ।

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

  • CHLone मुफ्त

    CHLone बंडल SIDS-to-HDF5 के एक CGNS/SIDS अनुरूप मानचित्रण आवेदन है और आवेदन विकास के लिए इंटरफेस के 3 स्तरों में शामिल हैं । ये हैं:- C1 सीजीएनएस/एमएलएल क्लोन, सीजीएनएस/एमएलएल के समान एपीआई- A2 आवेदन एपीआई, SIDS प्रकार के

  • FactotumNOW IAS Reporting नि: शुल्क परीक्षण

    फैक्टोट्यूअस आईएएस रिपोर्टिंग आईएएस/आरआरएएस (माइक्रोसॉफ्ट वीपीएन) एक इंजन के माध्यम से फाइलों को लॉग इन करता है जिसे वीपीएन/आईएएस सर्वर पर स्थापित किया जा सकता है । आईएएस (माइक्रोसॉफ्ट® इंटरनेट ऑथेंटिकेशन सर्विस) के आंकड़े फि

  • Flash-Creator नि: शुल्क परीक्षण

    फ्लैश क्रिएटर एनिमेटेड फ्लैश लोगो, बैनर, इंट्रोस, हेडर और कुछ और बनाने के लिए एक त्वरित और हौसले से उपयोग करने वाला उपकरण है जिसे आप बॉक्स से बाहर की कल्पना कर सकते हैं। यह आपको एक बिंदु और क्लिक डिजाइन वातावरण प्रदान करता है

  • SAW (Small Artificial World) मुफ्त

    देखा (लघु कृत्रिम दुनिया) प्राकृतिक विकास का अनुकरण है। दुनिया कई कृत्रिम प्राणियों जो अस्तित्व की लड़ाई के लिए एक दूसरे के साथ बातचीत कर सकते है द्वारा आबादी है । जेनेटिक एल्गोरिदम और तंत्रिका नेटवर्क का उपयोग किया जाता है।

  • evids video intrusion detection system मुफ्त

    Evids एक वीडियो घुसपैठ का पता लगाने ग्राहक/ स्वचालित निगरानी सॉफ्टवेयर आने वाले वीडियो की पूर्णकालिक निगरानी प्रदान करता है संकेत। इसके अलावा, Evids एक मुफ्त ओपनसोर्स कई पर चल रही परियोजना है प्लेटफॉर्म।

  • Accessibility plugins for Liferay मुफ्त

    इस प्रोजेट का उद्देश्य लाइफरे पोर्टल पर पहुंच अनुभव को बढ़ाने के लिए एक्सटेंशन (प्लगइन्स) का एक सेट प्रदान करना है।

  • SynchroJet नि: शुल्क परीक्षण

    सिंक्रोजेट एक आसानी से उपयोग करने वाला बैकअप और सिंक्रोनाइजेशन यूटिलिटी है, जो स्थानीय स्रोतों, लैन, एफटीपी/एसएसएल के साथ काम कर सकता है । सिंक्रोजेट के साथ आप सर्वर, डेस्कटॉप, लैपटॉप, लैन, एफटीपी आदि के बीच सभी महत्वपूर्ण फा

  • ControlK मुफ्त

    यह जेआईटी के लिए एक बहुत ही सरल प्लगइन है। यह ग्रहण नियंत्रण-कश्मीर सुविधा जोड़ता है, यानी: चयनित पाठ की अगली घटना का पता लगाएं।

  • emulare मुफ्त

    एमुलर एक आर्डुइनो एमुलेटर है।यह आपको अनुकरण में आर्डुइनो प्रोग्राम चलाने की अनुमति देता है। इसमें आर्डुइनो ड्यूमिलनोव पर सभी डिवाइसेज का पूरा सपोर्ट है । इसमें डिबगिंग के लिए जीडीबी इंटरफेस दिया गया है। इसमें परीक्षण में स

  • Music Shuffling मुफ्त

    एक .net 3.5 एप्लिकेशन जो उपयोगकर्ता को आईपॉड या अन्य डिवाइस में अपने संगीत को फेरबदल करने की अनुमति देता है। चुनिंदा यादृच्छिक फ़ाइलों के साथ पूर्ण विशेषताएं और प्रति फ़ाइलों द्वारा फेरबदल भी।