Verifying the smallest interesting colour code with quantomatic

Garvie, Liam and Duncan, Ross (2018) Verifying the smallest interesting colour code with quantomatic. Electronic Proceedings in Theoretical Computer Science, EPTCS, 266. pp. 147-163. ISSN 2075-2180 (https://doi.org/10.4204/EPTCS.266.10)

[thumbnail of Garvie-Duncan-EPTCS-2017-Verifying-the-smallest-interesting-colour-code-with-quantomatic]
Preview
 Text. Filename: Garvie_Duncan_EPTCS_2017_Verifying_the_smallest_interesting_colour_code_with_quantomatic.pdf
Final Published Version
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 logo
Download (565kB)| Preview

Abstract

In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detection code.

ORCID iDs

Garvie, Liam and Duncan, Ross ORCID logoORCID: https://orcid.org/0000-0001-6758-1573;
CORE (COnnecting REpositories)