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.
|Number of pages||17|
|Journal||Electronic Proceedings in Theoretical Computer Science|
|Publication status||Published - 27 Dec 2014|
- artificial intelligence
- computer logic
- Steane code