eXplode はストレージ・システム・チェッカーです。抽象モデルの代わりに実際のコードの汎用モデルチェッカーが含まれています。このモデル・チェッカーを使用すると、eXplodeは、多くのクラッシュが発生する可能性があるストレージ・システムを系統的にチェックして、クラッシュ・リカバリ・エラーを検出できます。
バージョン履歴
- バージョン files に転記 2009-09-19
いくつかの修正と更新 - バージョン N/A に転記 2009-09-19
プログラムの詳細
- カテゴリ: システム ユーティリティ > 他
- パブリッシャー: rcs.cs.columbia.edu/explode.html
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows