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

The paper titled "A review of formal methods in quantum circuit veri cation" reviews the different formal methods used for the veri cation of quantum circuits.The authors should have discussed formal veri cation and the different formal veri cation techniques and then categorised the different cited papers under them, which has not been done cleanly in the paper.The author should have focused more on categorising than on summarising the recent works.(a).Different formal veri cation methods are Abstract interpretation, model checking, theorem proving, deductive veri cation, and etc., some of which the author has mentioned in section 2.2.