REVIEW 1 cited by
Model Checking Quantum Systems --- A Survey
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Model Checking Quantum Systems --- A Survey
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.
Forward citations
Cited by 1 Pith paper
-
Model Checking Matrix Product States against Linear Chain Logic
Introduces Linear Chain Logic (LCL) and approximate algorithms to model-check spatial and asymptotic properties of periodic MPS families via their induced completely positive maps.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.