सॉफ्टवेयर सबमिट करें
  1. को
  2. Linux
  3. अन्य
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

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

एसीएफ के लिए एक रूपरेखा है मॉडल-चेकर्स लिखना। एसीएफ मौलिक अवलोकन पर बनाया गया है कि अधिकांश की संरचना मॉडल-चेकिंग एल्गोरिदम वर्णन करने के लिए उपयोग की जाने वाली औपचारिकता से स्वतंत्र है सिस्टम।

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

  • विवरण 0.1 पर तैनात 2000-03-21
    कई सुधार और अपडेट
  • विवरण 0.1 पर तैनात 2000-03-21

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

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

  • LEP मुफ्त

    साक्षर ग्रहण प्रोग्रामिंग संरचित, अच्छी तरह से प्रलेखित स्रोत कोड लिखने में डेवलपर्स की सहायता करता है। एलईपी एक परिचित ग्रहण वातावरण में स्रोत कोड और प्रलेखन के स्वचालित निष्कर्षण को एकीकृत करता है। संकलन और डिबगिंग पूरी तरह

  • BakerBots मुफ्त

    यह बेकर कॉलेज, दूसरे जीवन, ओपनसिम, आदि में बदलते रूपों के रूप में बॉट चलाने के लिए प्रशिक्षु विकसित आवेदन है। यह एसएल ब्राउज़र कार्यक्षमता के लिए AIML प्रसंस्करण और libOpenMetaverse के लिए कार्यक्रम # पर निर्भर करता है।

  • Survival Medicine Guide नि: शुल्क परीक्षण

    "मुक्त एडोब रीडर की आवश्यकता है" *यह एक जीवित रहने की दवा गाइड के मामले में क्या हम सब डर वास्तव में होता है । यह किसी भी अच्छे अस्तित्व मैनुअल के लिए एक बड़ी तारीफ है। यह जानकारी उपलब्ध नहीं हो सकता है जब आपको इसकी आवश्य

  • Universal Maths Conversion Library मुफ्त

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

  • Bhagavad Gita(YaBG) मुफ्त

    YaBG-अभी तक एक और "भगवद गीता" ऐप । यह ऐप आपको बिना किसी रुकावट के पूरी भगवत गीता के माध्यम से पढ़ने की अनुमति देता है; कोई विज्ञापन नहीं, कोई दर्दनाक पॉप अप; पूरी तरह से स्वतंत्र और कुछ भी दखल नहीं। मैंने इस ऐप को ब

  • PONS German PREMIUM नि: शुल्क परीक्षण

    एक विदेशी भाषा प्रीमियम के रूप में PONS शब्दकोश जर्मन 77,000 कीवर्ड, वाक्यांशों और निर्माण और 125,000 से अधिक परिभाषाओं और उदाहरण पोन्स द्वारा सबसे व्यापक मानक संदर्भ उपकरण के साथ है। आप जर्मन सीख रहे हैं और एक उपयुक्त शब्दको

  • jQuantum मुफ्त

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

  • FlameBitmaps मुफ्त

    3डी-रोटेशन-बॉडी की 2डी-ग्रे-स्केल बिटमैप्स गणना की गणना विभिन्न छवि प्रसंस्करण एल्गोरिदम का उपयोग करके एक पता लगाया गया क्षेत्र बनाते हैं। जर्मन एयरोस्पेस सेंटर (डीएलआर) के लिए विकसित। प्रयुक्त परियोजनाएं: पदार्थ (जीयूआई)

  • fropho मुफ्त

    फ्रॉफो क्रिस्टल में फोनोन गुणों की गणना करता है, जो पार्लिंस्की-ली-कावाज़ो विधि पर आधारित है। परमाणुओं पर कार्य करने वाली ताकतों की सूचना जब परमाणु विस्थापित हो जाता है तो इनपुट जानकारी के रूप में आवश्यक होता है । phonopy.sou

  • FSMPP - Finite State Machines in C++ मुफ्त

    एफएसपीपी एक पुस्तकालय है जो सी + + में परिमित राज्य मशीनों के निर्माण के लिए एक सरल, लाइट और सहज ढांचा प्रदान करता है।