Efficient Formal Verification of Quantum Error Correcting Programs

Qifan Huang, Li Zhou, Wang Fang +2

Quantum error correction (QEC) is fundamental for suppressing noise in quantum hardware and enabling fault-tolerant quantum computation. In this paper, we propose an efficient veri…