Verifying the Smallest Interesting Colour Code with Quantomatic
published by EPTCS
in 2017
in Physics
and research's language is
English
Download
Abstract in English
In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.
Download