quantum programming

MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification

Unlike classical computing, quantum program verification (QPV) is much more challenging due to the non-duplicability of quantum states …

Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin