고전 소프트웨어 검증을 위한 양자 컴퓨터 활용

양자 컴퓨터를 활용하여 고전 프로그램의 형식적 검증을 가속화하는 방법을 탐구한다.