Model Checking Quantum Systems --- A Survey
Abstract
This article discusses the essential difficulties in developing model-checking techniques for quantum systems that are never present in model checking classical systems. It further reviews some early researches on checking quantum communication protocols as well as a new line of researches pursued by the authors and their collaborators on checking general quantum systems, applicable to both physical systems and quantum programs.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2018
- DOI:
- 10.48550/arXiv.1807.09466
- arXiv:
- arXiv:1807.09466
- Bibcode:
- 2018arXiv180709466Y
- Keywords:
-
- Quantum Physics;
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages