1281.130 전이 조건의 형식적 검증 기법