Tarafından Programlar rcs.cs.columbia.edu/explode.html

eXplode bir depolama sistemi denetleyicisidir. Soyut modeller yerine gerçek kod için genel bir model denetleyicisi içerir. Bu model denetleyicisi kullanarak, eXplode sistematik çökme kurtarma hataları bulmak için birçok olası