eXplode एक भंडारण प्रणाली चेकर है। इसमें अमूर्त मॉडल के बजाय वास्तविक कोड के लिए एक सामान्य मॉडल चेकर शामिल है। इस मॉडल चेकर का उपयोग करके, eXplode व्यवस्थित रूप से क्रैश-रिकवरी त्रुटियों को खोजने के लिए कई संभावित दुर्घटनाओं के खिलाफ एक भंडारण प्रणाली की जांच कर सकता है।
संस्करण इतिहास
- विवरण files पर तैनात 2009-09-19
कई सुधार और अपडेट - विवरण N/A पर तैनात 2009-09-19
कार्यक्रम विवरण
- कोटि: सिस्टम यूटिलिटीज > अन्य
- प्रकाशक: rcs.cs.columbia.edu/explode.html
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows