Quantum Hoare logic with ghost variables

DOI10.5555/3470152.3470199MaRDI QIDQ6654512zbMATH OpenFDO

Authors Dominique Unruh

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470199

Mathematics Subject Classification ID

Logic in computer science (03B70) Quantum logic (03G12) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Recommendations

• Formal verification of quantum algorithms using quantum Hoare logic
• A logic for formal verification of quantum programs
• Toward automatic verification of quantum programs
• LQP: the dynamic logic of quantum information
• DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

This page was built for publication: Quantum Hoare logic with ghost variables

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