1180.13 안전 분석 기법에 의한 검증