SMT 기반 시스템의 양자체에 대한 불변성 확인

SMT 기반 시스템에서 양자체에 대한 불변성 확인 문제를 다루는 논문.