Equivalence Checking of Quantum Protocols

DOI10.1007/978-3-642-36742-7_33zbMath1381.68144OpenAlexW2144607693MaRDI QIDQ5326347

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

model checkingequivalence checkingstabilizersquantum protocols

Mathematics Subject Classification ID

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

Related Items (5)

Unnamed Item ⋮ Equivalence checking of quantum finite-state machines ⋮ Semi-automated verification of security proofs of quantum cryptographic protocols ⋮ Techniques for Formal Modelling and Analysis of Quantum Systems ⋮ Model Checking Omega-regular Properties for Quantum Markov Chains

This page was built for publication: Equivalence Checking of Quantum Protocols