Review of: "A Review of Formal Methods in Quantum Circuit Verification"

This paper presents a review of formal methods applied to the veri cation of quantum circuits.It surveys several major veri cation paradigms, including barrier certi cates, abstract interpretation, model checking, theorem proving, and runtime veri cation, and discusses their application across different domains such as quantum error correction, compiler veri cation, and quantum algorithms.The review aims to summarize the state of the art, highlight challenges, and outline future research directions in quantum circuit veri cation.