Verifying the Steane code with Quantomatic

Ross Duncan
(University of Strathclyde, Glasgow, UK)
Maxime Lucas
(Université Libre de Bruxelles, Brussels, Belgium)

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.

In Bob Coecke and Matty Hoban: Proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL 2013), Castelldefels (Barcelona), Spain, 17th to 19th July 2013, Electronic Proceedings in Theoretical Computer Science 171, pp. 33–49.
Published: 27th December 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.171.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org