2000 character limit reached
Model Checking Quantum Systems --- A Survey (1807.09466v1)
Published 25 Jul 2018 in quant-ph, cs.LO, and cs.PL
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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
