Verifying the Steane code with Quantomatic

Ross Duncan, Maxime Lucas

Research output: Contribution to journalConference Contributionpeer-review

18 Citations (Scopus)
171 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)33-49
Number of pages17
JournalElectronic Proceedings in Theoretical Computer Science
Publication statusPublished - 27 Dec 2014


  • artificial intelligence
  • computer logic
  • Steane code
  • Quantomatic


Dive into the research topics of 'Verifying the Steane code with Quantomatic'. Together they form a unique fingerprint.

Cite this