eXplode

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

eXplode はストレージ・システム・チェッカーです。抽象モデルの代わりに実際のコードの汎用モデルチェッカーが含まれています。このモデル・チェッカーを使用すると、eXplodeは、多くのクラッシュが発生する可能性があるストレージ・システムを系統的にチェックして、クラッシュ・リカバリ・エラーを検出できます。

バージョン履歴

  • バージョン files に転記 2009-09-19
    いくつかの修正と更新
  • バージョン N/A に転記 2009-09-19

プログラムの詳細