Model Checking Quantum Systems --- A Survey
classification
🪐 quant-ph
cs.LOcs.PL
keywords
quantumsystemscheckingmodelresearchesapplicablearticleauthors
pith:OXAK3KTO Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{OXAK3KTO}
Prints a linked pith:OXAK3KTO badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.