Verifying the Steane code with Quantomatic [PDF]
Ross Duncan, Maxime LucasIn 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.View original: http://arxiv.org/abs/1306.4532
No comments:
Post a Comment