Pith. sign in

REVIEW 1 cited by

Model Checking Quantum Systems --- A Survey

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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

arxiv 1807.09466 v1 pith:OXAK3KTO submitted 2018-07-25 quant-ph cs.LOcs.PL

Mingsheng Ying , Yuan Feng This is my paper · ORCID
classification quant-phcs.LOcs.PL
keywords quantumsystemscheckingmodelresearchesapplicablearticleauthors
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Model Checking Matrix Product States against Linear Chain Logic

    quant-ph 2026-05 unverdicted novelty 7.0 of 10

    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.

Pith tools