Verification of quantum programs

DOI10.13328/J.CNKI.JOS.005536MaRDI QIDQ4688901zbMATH OpenFDO

Authors Yuan Feng, Mingsheng Ying

Publication date 22 October 2018

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.005536

zbMATH Keywords

model checkingquantum computingprogram verificationverification of communication protocol

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Recommendations

• Verification of distributed quantum programs
• Equivalence checking of quantum protocols
• Toward automatic verification of quantum programs
• Automated equivalence checking of concurrent quantum systems
• Verification of quantum computation: an overview of existing approaches

Cited in

(12)

• Equivalence checking of quantum protocols
• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
• Verification of quantum computation: an overview of existing approaches
• An interpreter for quantum circuits
• Verification of distributed quantum programs
• How to Verify a Quantum Computation
• Certified quantum computation in Isabelle/HOL
• Formal verification of optical quantum flip gate
• Invariants of quantum programs: characterisations and generation
• Limitations on post-processing assisted quantum programming
• Verification of quantum systems using barrier certificates
• Automated equivalence checking of concurrent quantum systems

This page was built for publication: Verification of quantum programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4688901)