43 citations · 65 across the 2 of their papers we have counts for
2 papers
quant-ph2017★ 22 cited
Verifying the Smallest Interesting Colour Code with Quantomatic
Liam Garvie, Ross Duncan
In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.
quant-ph2013★ 43 cited
Verifying the Steane code with Quantomatic
Ross Duncan, Maxime Lucas
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 repr…