开发者 rcs.cs.columbia.edu/explode.html

eXplode 是一个存储系统检查器。它包含一个用于真实代码而不是抽象模型的通用模型检查器。使用此模型检查器，eXplode 可以系统地检查存储系统，防止许多可能的崩溃，以查找崩溃-恢复错误。