Verifying the Steane code with Quantomatic

Duncan, Ross and Lucas, Maxime (2014) Verifying the Steane code with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 171. pp. 33-49. ISSN 2075-2180 (https://doi.org/10.4204/EPTCS.171.4)

[thumbnail of Duncan-Lucas-EPTCS-2014-Verifying-the-Steane-code]
Preview
Text. Filename: Duncan_Lucas_EPTCS_2014_Verifying_the_Steane_code.pdf
Accepted Author Manuscript
License: Creative Commons Attribution-NoDerivatives 4.0 logo

Download (333kB)| Preview

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.