On the Relative Completeness of Satisfaction-based Quantum Hoare Logic

Xin Sun, Xingchi Su, Xiaoning Bian +1

Quantum Hoare logic (QHL) is a formal verification tool specifically designed to ensure the correctness of quantum programs. There has been an ongoing challenge to achieve a relati…