1278.152 전이 검증을 위한 형식적 방법