2022
DOI: 10.1016/j.tcs.2022.01.044
|View full text |Cite
|
Sign up to set email alerts
|

Model checking QCTL plus on quantum Markov chains

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
2
2
2

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(2 citation statements)
references
References 27 publications
0
2
0
Order By: Relevance
“…One can consider our approach to be an instantiation of classical abstract interpretation [29] that is precise, and our approach to non-equivalence testing as comparing output abstract contexts of two programs. Quantum model checking supports a rich specification language (flavors of temporal logic [38,51,72]). It can be seen as an extension of probabilistic model checking [35,36,38,72,[77][78][79] and is more suitable for verifying high-level protocols due to the limited scalability [10].…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…One can consider our approach to be an instantiation of classical abstract interpretation [29] that is precise, and our approach to non-equivalence testing as comparing output abstract contexts of two programs. Quantum model checking supports a rich specification language (flavors of temporal logic [38,51,72]). It can be seen as an extension of probabilistic model checking [35,36,38,72,[77][78][79] and is more suitable for verifying high-level protocols due to the limited scalability [10].…”
Section: Related Workmentioning
confidence: 99%
“…Quantum model checking supports a rich specification language (flavors of temporal logic [38,51,72]). It can be seen as an extension of probabilistic model checking [35,36,38,72,[77][78][79] and is more suitable for verifying high-level protocols due to the limited scalability [10]. Techniques based on quantum simulation [39,56,57,60,64,67,68,84,85] allow only one input quantum state and thus have limited analyzing power.…”
Section: Related Workmentioning
confidence: 99%