Equivalence checking of quantum protocols

DOI10.1007/978-3-642-36742-7_33MaRDI QIDQ5326347zbMATH OpenOpenAlexFDO

Authors Ebrahim Ardeshir-Larijani, Rajagopal Nagarajan, Simon J. Gay

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36742-7_33

zbMATH Keywords

equivalence checkingmodel checkingquantum protocolsstabilizers

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum computation (81P68)

Recommendations

• Automated equivalence checking of concurrent quantum systems
• Formalization \textit{of} quantum protocols using Coq
• Verification of quantum programs
• Verifying quantum communication protocols with ground bisimulation
• Equational reasoning about quantum protocols

Cited in

(10)

• Equivalence checking of quantum finite-state machines
• Verifying quantum communication protocols with ground bisimulation
• Equational reasoning about quantum protocols
• Verification of quantum protocols with a probabilistic model-checker
• Automated equivalence checking of concurrent quantum systems
• Verification of quantum programs
• Semi-automated verification of security proofs of quantum cryptographic protocols
• Techniques for Formal Modelling and Analysis of Quantum Systems
• Formalization \textit{of} quantum protocols using Coq
• Model checking -regular properties for quantum Markov chains

This page was built for publication: Equivalence checking of quantum protocols

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