1290.49 EFSM의 검증 복잡도 증가 문제