eXplode 是一个存储系统检查器。它包含一个用于真实代码而不是抽象模型的通用模型检查器。使用此模型检查器,eXplode 可以系统地检查存储系统,防止许多可能的崩溃,以查找崩溃-恢复错误。
版本历史记录
- 版本 files 发布于 2009-09-19
若干修复和更新 - 版本 N/A 发布于 2009-09-19
软件信息
- 软件分类: 系统实用程序 > 其他
- 发布者: rcs.cs.columbia.edu/explode.html
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows