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

[img]
Preview
Text (Duncan-Lucas-EPTCS-2014-Verifying-the-Steane-code)
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.