eXplode 是一個儲存系統檢查器。它包含一個用於真實代碼而不是抽象模型的通用模型檢查器。使用此模型檢查器,eXplode 可以系統地檢查儲存系統,防止許多可能的崩潰,以查找崩潰-恢復錯誤。
版本歷史記錄
- 版本 files 發佈於 2009-09-19
若干修復和更新 - 版本 N/A 發佈於 2009-09-19
軟體細節
- 軟體分類: 系統實用程式 > 其他
- 發佈者: rcs.cs.columbia.edu/explode.html
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows