eXplode

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 4.0/5 - ‎1 ‎투표

eXplode는 스토리지 시스템 검사기입니다. 추상 모델 대신 실제 코드에 대한 일반 모델 검사기가 포함되어 있습니다. eXplode는 이 모델 검사기를 사용하여 가능한 여러 충돌에 대해 스토리지 시스템을 체계적으로 검사하여 충돌 복구 오류를 찾을 수 있습니다.

버전 기록

  • 버전 files 에 게시 2009-09-19
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2009-09-19

프로그램 세부 정보