양자 약한 전제 조건 재검토: 예상 실행 시간 분석을 위한 사전 기대값

요약

본 논문은 양자 프로그램 검증에 필수적인 '양자 약한 전제 조건'을 재검토합니다. 특히 예상 실행 시간 분석 관점에서 새로운 사전 기대값 프레임워크를 제시하며, 상한 없이도 전제 조건을 추론할 수 있게 합니다.

핵심 포인트

• 양자 프로그램 검증에 필요한 '약한 전제 조건'을 다룹니다.
• 예상 실행 시간 분석을 위한 새로운 사전 기대값 프레임워크를 소개합니다.
• 무한 예상 실행 시간을 가진 프로그램의 런타임 동작 분석 방법을 제시합니다.