Chương trình theo rcs.cs.columbia.edu/explode.html

eXplode là bộ kiểm tra hệ thống lưu trữ. Nó chứa một trình kiểm tra mô hình chung cho mã thực thay vì các mô hình trừu tượng. Sử dụng trình kiểm tra mô hình này, eXplode có thể kiểm tra hệ thống lưu trữ một cách có hệ thống c