Verifying the Steane code with Quantomatic. Duncan, R. and Lucas, M. Electronic Proceedings in Theoretical Computer Science, 171:33–49, December, 2014. ZSCC: NoCitationData[s0] arXiv: 1306.4532
Paper doi abstract bibtex In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this represents the largest and most complicated verification task yet carried out using Quantomatic.
@article{duncan_verifying_2014,
title = {Verifying the {Steane} code with {Quantomatic}},
volume = {171},
issn = {2075-2180},
url = {http://arxiv.org/abs/1306.4532},
doi = {10/ggch75},
abstract = {In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this represents the largest and most complicated verification task yet carried out using Quantomatic.},
urldate = {2019-11-07},
journal = {Electronic Proceedings in Theoretical Computer Science},
author = {Duncan, Ross and Lucas, Maxime},
month = dec,
year = {2014},
note = {ZSCC: NoCitationData[s0]
arXiv: 1306.4532},
keywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.3.1, Quantum Physics},
pages = {33--49}
}