Automated verification of quantum protocols by equivalence checking

E Ardeshir-Larijani, SJ Gay, R Nagarajan - arXiv preprint arXiv:1312.5951, 2013 - arxiv.org
In this paper we introduce a technique and a tool for formal verification of various quantum
information processing protocols. The tool uses stabilizer formalism and is capable of …
被引用次数：2 相关文章

Automated Verification of Quantum Protocols by Equivalence Checking

E Ardeshir-Larijani, SJ Gay, R Nagarajan - arXiv e-prints, 2013 - ui.adsabs.harvard.edu
In this paper we introduce a technique and a tool for formal verification of various quantum
information processing protocols. The tool uses stabilizer formalism and is capable of …
[PDF] psu.edu

[PDF][PDF] Automated Verification of Quantum Protocols

arXiv preprint arXiv:1312.5951, 2013 - Citeseer
Technologies based on Quantum Information Processing (QIP) are emerging rapidly in our
life, from cryptography and communication to fast computation. The grand challenge in QIP …