चाँद पर चलने वाला

.NET प्रोग्राम के लिए एक मॉडल चेकर
अब डाउनलोड करो

चाँद पर चलने वाला रैंकिंग और सारांश

विज्ञापन

  • Rating:
  • लाइसेंस:
  • Apache License 2.0
  • प्रकाशक का नाम:
  • Theo C. Ruys
  • ऑपरेटिंग सिस्टम:
  • Windows All
  • फाइल का आकार:
  • 525 KB

चाँद पर चलने वाला टैग


चाँद पर चलने वाला विवरण

मूनवाल्कर एक मॉडल चेकर है जो मोनो मंच पर विकसित किया गया है। मूनवाल्कर स्वचालित रूप से सीआईएल बाइटकोड प्रोग्राम्स में त्रुटियों का पता लगाने के लिए एक प्रोग्राम है, यानी .NET प्लेटफ़ॉर्म के लिए लिखे गए एप्लिकेशन। मूनवाकर को यह देखने की कोशिश करें कि यह वास्तव में क्या सक्षम है!


चाँद पर चलने वाला संबंधित सॉफ्टवेयर

Afntoafd

एक nondeterministic परिमित ऑटोमेटा को एक निर्धारक में परिवर्तित करें ...

334 50 KB

डाउनलोड