Automated equivalence checking of concurrent quantum systems
Article
Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. 2018. Automated equivalence checking of concurrent quantum systems. ACM Transactions on Computational Logic. 19 (4), pp. 1-32. https://doi.org/10.1145/3231597
Type | Article |
---|---|
Title | Automated equivalence checking of concurrent quantum systems |
Authors | Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. |
Abstract | The novel field of quantum computation and quantum information has gathered significant momentum in the last few years. It has the potential to radically impact the future of information technology and in influence the development of modern society. The construction of practical, general purpose quantum computers has been challenging, but quantum cryptographic and communication devices have been available in the commercial marketplace for several years. Quantum networks have been built in various cities around the world and a dedicated satellite has been launched by China to provide secure quantum communication. Such new technologies demand rigorous analysis and verification before they can be trusted in safety- and security- critical applications. Experience with classical hardware and software systems has shown the difficulty of achieving robust and reliable implementations. |
Research Group | Foundations of Computing group |
Publisher | Association for Computing Machinery (ACM) |
Journal | ACM Transactions on Computational Logic |
ISSN | 1529-3785 |
Electronic | 1557-945X |
Publication dates | |
20 Nov 2018 | |
Publication process dates | |
Deposited | 25 Jun 2018 |
Accepted | 05 Jun 2018 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | © 2018 Association for Computing Machinery. |
Digital Object Identifier (DOI) | https://doi.org/10.1145/3231597 |
Language | English |
https://repository.mdx.ac.uk/item/87v02
Download files
36
total views14
total downloads2
views this month1
downloads this month