Verifying the Steane code with Quantomatic

Verifying the Steane code with Quantomatic

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.

Bibliographic Details
Main Authors: Ross Duncan, Maxime Lucas
Format: Article
Language:English
Published: Open Publishing Association 2014-12-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1306.4532v2
id doaj-a2af1f2c83544763ac388f14c34f23fd
record_format Article
spelling doaj-a2af1f2c83544763ac388f14c34f23fd2020-11-24T23:29:01ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-12-01171Proc. QPL 2013334910.4204/EPTCS.171.4:duncanlucasVerifying the Steane code with QuantomaticRoss Duncan0Maxime Lucas1 University of Strathclyde, Glasgow, UK Université Libre de Bruxelles, Brussels, Belgium 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.http://arxiv.org/pdf/1306.4532v2
collection DOAJ
language English
format Article
sources DOAJ
author Ross Duncan
Maxime Lucas
spellingShingle Ross Duncan
Maxime Lucas
Verifying the Steane code with Quantomatic
Electronic Proceedings in Theoretical Computer Science
author_facet Ross Duncan
Maxime Lucas
author_sort Ross Duncan
title Verifying the Steane code with Quantomatic
title_short Verifying the Steane code with Quantomatic
title_full Verifying the Steane code with Quantomatic
title_fullStr Verifying the Steane code with Quantomatic
title_full_unstemmed Verifying the Steane code with Quantomatic
title_sort verifying the steane code with quantomatic
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2014-12-01
description 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.
url http://arxiv.org/pdf/1306.4532v2
work_keys_str_mv AT rossduncan verifyingthesteanecodewithquantomatic
AT maximelucas verifyingthesteanecodewithquantomatic
_version_ 1725546919997997056

Similar Items