프로그램별 rcs.cs.columbia.edu/explode.html

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