Verifying the Steane code with Quantomatic

Ross Duncan, Maxime Lucas

Research output: Contribution to journalConference Contribution

17 Citations (Scopus)
143 Downloads (Pure)

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

Keywords

  • artificial intelligence
  • computer logic
  • Steane code
  • Quantomatic

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

  • Profiles

    No photo of Ross Duncan

    Ross Duncan

    Person: Academic, Research Only

    Cite this