Verifying the Steane code with Quantomatic

Ross Duncan, Maxime Lucas

Research output: Contribution to journalConference Contribution

14 Citations (Scopus)
128 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

Cite this

@article{ecae4a44505342da9484e6f55f60babc,
title = "Verifying the Steane code with Quantomatic",
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.",
keywords = "artificial intelligence, computer logic, Steane code, Quantomatic",
author = "Ross Duncan and Maxime Lucas",
year = "2014",
month = "12",
day = "27",
doi = "10.4204/EPTCS.171.4",
language = "English",
volume = "171",
pages = "33--49",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",

}

Verifying the Steane code with Quantomatic. / Duncan, Ross; Lucas, Maxime.

In: Electronic Proceedings in Theoretical Computer Science, Vol. 171, 27.12.2014, p. 33-49.

Research output: Contribution to journalConference Contribution

TY - JOUR

T1 - Verifying the Steane code with Quantomatic

AU - Duncan, Ross

AU - Lucas, Maxime

PY - 2014/12/27

Y1 - 2014/12/27

N2 - 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.

AB - 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.

KW - artificial intelligence

KW - computer logic

KW - Steane code

KW - Quantomatic

UR - http://arxiv.org/abs/1306.4532

U2 - 10.4204/EPTCS.171.4

DO - 10.4204/EPTCS.171.4

M3 - Conference Contribution

VL - 171

SP - 33

EP - 49

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -