Verifying the Steane code with Quantomatic

06/19/2013
by   Ross Duncan, et al.
0

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 represents the largest and most complicated verification task yet carried out using Quantomatic.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset