Model Checking Quantum Systems --- A Survey
Quantum Physics
2018-07-26 v1 Logic in Computer Science
Programming Languages
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.
Cite
@article{arxiv.1807.09466,
title = {Model Checking Quantum Systems --- A Survey},
author = {Mingsheng Ying and Yuan Feng},
journal= {arXiv preprint arXiv:1807.09466},
year = {2018}
}