Verifying the smallest interesting colour code with quantomatic

Liam Garvie, Ross Duncan

Research output: Contribution to journalConference Contributionpeer-review

12 Citations (Scopus)
38 Downloads (Pure)


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

Original languageEnglish
Pages (from-to)147-163
Number of pages17
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 27 Feb 2018
Event14th International Conference on Quantum Physics and Logic and IQSA Quantum Structures Workshop - Nijmegen, Netherlands
Duration: 3 Jul 20177 Jul 2017


  • Quantomatic case study
  • error detection code
  • error correction


Dive into the research topics of 'Verifying the smallest interesting colour code with quantomatic'. Together they form a unique fingerprint.

Cite this