Program menurut rcs.cs.columbia.edu/explode.html

eXplode adalah pemeriksa sistem penyimpanan. Ini berisi pemeriksa model generik untuk kode nyata alih-alih model abstrak. Dengan menggunakan pemeriksa model ini, eXplode dapat secara sistematis memeriksa sistem penyimpanan te