eXplode는 스토리지 시스템 검사기입니다. 추상 모델 대신 실제 코드에 대한 일반 모델 검사기가 포함되어 있습니다. eXplode는 이 모델 검사기를 사용하여 가능한 여러 충돌에 대해 스토리지 시스템을 체계적으로 검사하여 충돌 복구 오류를 찾을 수 있습니다.
버전 기록
- 버전 files 에 게시 2009-09-19
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2009-09-19
프로그램 세부 정보
- 범주: 시스템 유틸리티 > 다른
- 게시자: rcs.cs.columbia.edu/explode.html
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows