Verifying the Steane code with Quantomatic. Duncan, R. and Lucas, M. Electronic Proceedings in Theoretical Computer Science, 171:33–49, December, 2014. ZSCC: NoCitationData[s0] arXiv: 1306.4532
Verifying the Steane code with Quantomatic [link]Paper  doi  abstract   bibtex   
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.
@article{duncan_verifying_2014,
	title = {Verifying the {Steane} code with {Quantomatic}},
	volume = {171},
	issn = {2075-2180},
	url = {http://arxiv.org/abs/1306.4532},
	doi = {10/ggch75},
	abstract = {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.},
	urldate = {2019-11-07},
	journal = {Electronic Proceedings in Theoretical Computer Science},
	author = {Duncan, Ross and Lucas, Maxime},
	month = dec,
	year = {2014},
	note = {ZSCC: NoCitationData[s0] 
arXiv: 1306.4532},
	keywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.3.1, Quantum Physics},
	pages = {33--49}
}
Downloads: 0