開發者 rcs.cs.columbia.edu/explode.html

eXplode 是一個儲存系統檢查器。它包含一個用於真實代碼而不是抽象模型的通用模型檢查器。使用此模型檢查器，eXplode 可以系統地檢查儲存系統，防止許多可能的崩潰，以查找崩潰-恢復錯誤。