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

[img]
Preview
Text (Garvie-Duncan-EPTCS-2017-Verifying-the-smallest-interesting-colour-code-with-quantomatic)
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.