Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.04497 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908693722824704 |
|---|---|
| author | Dai, Aochu Ying, Mingsheng |
| author_facet | Dai, Aochu Ying, Mingsheng |
| contents | We present QReach, the first reachability analysis tool for quantum Markov chains based on decision diagrams CFLOBDD (presented at CAV 2023). QReach provides a novel framework for finding reachable subspaces, as well as a series of model-checking subprocedures like image computation. Experiments indicate its practicality in verification of quantum circuits and algorithms. QReach is expected to play a central role in future quantum model checkers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_04497 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | QReach: A Reachability Analysis Tool for Quantum Markov Chains Dai, Aochu Ying, Mingsheng Quantum Physics Logic in Computer Science We present QReach, the first reachability analysis tool for quantum Markov chains based on decision diagrams CFLOBDD (presented at CAV 2023). QReach provides a novel framework for finding reachable subspaces, as well as a series of model-checking subprocedures like image computation. Experiments indicate its practicality in verification of quantum circuits and algorithms. QReach is expected to play a central role in future quantum model checkers. |
| title | QReach: A Reachability Analysis Tool for Quantum Markov Chains |
| topic | Quantum Physics Logic in Computer Science |
| url | https://arxiv.org/abs/2512.04497 |