A Logic for Formal Verification of Quantum Programs
From MaRDI portal
Publication:3656843
DOI10.1007/978-3-642-10622-4_7zbMath1273.03107OpenAlexW1498858133MaRDI QIDQ3656843
Publication date: 14 January 2010
Published in: Advances in Computer Science - ASIAN 2009. Information Security and Privacy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-10622-4_7
Quantum computation (81P68) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum algorithms and complexity in the theory of computing (68Q12)
Related Items
Formal semantics of a classical-quantum language, Toward automatic verification of quantum programs, A proof system for disjoint parallel quantum programs, Model checking for entanglement swapping