开发者 rcs.cs.columbia.edu/explode.html
-
eXplode 免费
eXplode 是一个存储系统检查器。它包含一个用于真实代码而不是抽象模型的通用模型检查器。使用此模型检查器,eXplode 可以系统地检查存储系统,防止许多可能的崩溃,以查找崩溃-恢复错误。
eXplode 是一个存储系统检查器。它包含一个用于真实代码而不是抽象模型的通用模型检查器。使用此模型检查器,eXplode 可以系统地检查存储系统,防止许多可能的崩溃,以查找崩溃-恢复错误。