1180.11 체계적 안전 무결성의 정성적 검증