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

Triple-A 1.4.1

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

करीबन Triple-A

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

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

  • Parallel partition for string qsort/qsel मुफ्त

    स्ट्रिंग क्विकसॉर्ट्स (-चयन) का अनुक्रमिक और समानांतर कार्यान्वयन। लेख: डिजिटल एक्सेस के साथ बीएसएसटी (और संबंधित एल्गोरिदम) में स्ट्रिंग लुक्स की संख्या पर/

  • pgreplay मुफ्त

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

  • ldapenum मुफ्त

    एलडीएपेनम एक पर्ल स्क्रिप्ट है जिसे आईपीसी $ लॉक होने पर एलडीएपी सेवा का उपयोग करके डोमेन नियंत्रकों से सिस्टम और पासवर्ड जानकारी की गणना करने के लिए डिज़ाइन किया गया है। स्क्रिप्ट खिड़कियों और लिनक्स पर परीक्षण किया गया है।

  • F2Ashell मुफ्त

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

  • DataModeler मुफ्त

    परियोजना एक अलग नाम के तहत विकसित किया जा रहा है: कृपया यात्रा http://sourceforge.net/projects/modelbuilder/ Datamodeler वैज्ञानिकों और इंजीनियरों को किसी भी डेटासेट के लिए किसी भी बहुविध मॉडल खोजने के लिए, कैसे जटिल या बड़े

  • GFFT मुफ्त

    सी ++ में नीति आधारित डिजाइन और टेम्पलेट मेटाप्रोग्रामिंग का उपयोग करके जेनेरिक सरल और कुशल फास्ट फोरियर ट्रांसफॉर्म (एफएफटी) कार्यान्वयन

  • SASUnit मुफ्त

    एसएएसयूयू यूनिट एसएएस (टीएम) कार्यक्रमों के लिए एक इकाई परीक्षण ढांचा है। इसका उपयोग एसएएस कार्यक्रमों के लिए परीक्षणों के विकास, निष्पादन और स्वचालित प्रलेखन के लिए किया जा सकता है। एसएएसयूनिट विशुद्ध रूप से एसएएस मैक्रो और

  • DomSQL मुफ्त

    PHP5 और MySQL के आधार पर दस्तावेज़ ऑब्जेक्ट मॉडल संरचित क्वेरी लैंग्वेज! उदाहरण: '{http://example.com}' से {शरीर [0] इनरकोड} का चयन करें;

  • Stormtrooper Clock Widget नि: शुल्क परीक्षण

    एक StormtrooperClock विजेट। लाल लाइटसबर्स के साथ घंटे और मिनट प्रदर्शित करने के लिए।आकार: 2 x 2एक विजेट के रूप में होमस्क्रीन में जोड़ें।

  • ABIcheck binary compatibility tool मुफ्त

    ABIcheck एक आवेदन की जांच के लिए एक उपकरण हैपुस्तकालय के परिभाषित एप्लिकेशन बाइनरी इंटरफेस का अनुपालन(एबीआई) । यह ABI परिभाषा में निहित जानकारी पर निर्भर करता हैपुस्तकालय। उदाहरण परिभाषाएं GNOME और glibc के लिए दी गई