양자 약한 전제 조건(Quantum weakest preconditions)은 양자 프로그램의 프로그램 검증에 필수적인 도구입니다. 문헌에는 많은 변형이 보고되었습니다. 우리는 양자 프로그램의 예상 실행 시간 분석 관점에서 양자 약한 전제 조건을 재검토하고, 상한(upper bound)을 필요로 하지 않으면서 양자 프로그램의 전제 조건에 대해 추론할 수 있게 하는 새로운 사전 기대값 프레임워크(pre-expectation framework)를 소개합니다. 이는 보상문(reward statements)이 포함된 양자 프로그램에 특히 흥미롭습니다. 전체 목표는 잠재적으로 무한한 예상 실행 시간을 가진 프로그램의 경우에도 런타임 동작을 분석하는 것입니다. 본 논문은 이를 수행할 수 있는 몇 가지 방법을 제시하며, 예를 들어, 양자 프로그램의 예상 실행 시간이 보상을 사용하는 약한 사전 기대값 계산(weakest pre-expectation calculus)으로 표현될 수 있도록 하는 프로그램 변환이 있습니다.