1277.84 반례 기반 추상화 정제 (CEGAR)