Thursday, June 20, 2013

1306.4532 (Ross Duncan et al.)

Verifying the Steane code with Quantomatic    [PDF]

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

No comments:

Post a Comment