Verifying the Steane code with Quantomatic

Ross Duncan; Maxime Lucas

doi:10.4204/EPTCS.171.4

Verifying the Steane code with Quantomatic

Ross Duncan, Maxime Lucas

Research output: Contribution to journal › Conference Contribution › peer-review

29 Citations (Scopus)

198 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 language	English
Pages (from-to)	33-49
Number of pages	17
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	171
DOIs	https://doi.org/10.4204/EPTCS.171.4
Publication status	Published - 27 Dec 2014

Keywords

artificial intelligence
computer logic
Steane code
Quantomatic

Access to Document

10.4204/EPTCS.171.4

Duncan-Lucas-EPTCS-2014-Verifying-the-Steane-codeAccepted author manuscript, 325 KBLicence: CC BY-ND 4.0

http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPLX.4

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 = dec,

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",

publisher = "Open Publishing Association",

}

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

SN - 2075-2180

VL - 171

SP - 33

EP - 49

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -

Verifying the Steane code with Quantomatic

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this