eXplode

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

करीबन eXplode

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