Verifying the Steane code with Quantomatic

Ross Duncan, Maxime Lucas

Research output: Contribution to journalConference Contribution

14 Citations (Scopus)

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.
LanguageEnglish
Pages33-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

T2 - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -