Atur cara mengikut rcs.cs.columbia.edu/explode.html

eXplode adalah pemeriksa sistem storan. Ia mengandungi pemeriksa model generik untuk kod sebenar dan bukannya model abstrak. Menggunakan pemeriksa model ini, eXplode secara sistematik boleh menyemak sistem storan terhadap ban