PROGRAMS BY rcs.cs.columbia.edu/explode.html

eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to f