開發者 rcs.cs.columbia.edu/explode.html
-
eXplode 免費
eXplode 是一個儲存系統檢查器。它包含一個用於真實代碼而不是抽象模型的通用模型檢查器。使用此模型檢查器,eXplode 可以系統地檢查儲存系統,防止許多可能的崩潰,以查找崩潰-恢復錯誤。
eXplode 是一個儲存系統檢查器。它包含一個用於真實代碼而不是抽象模型的通用模型檢查器。使用此模型檢查器,eXplode 可以系統地檢查儲存系統,防止許多可能的崩潰,以查找崩潰-恢復錯誤。