Model checking quantum systems. Principles and algorithms

DOI10.1017/9781108613323MaRDI QIDQ5137359zbMATH OpenOpenAlexFDO

Authors Mingsheng Ying, Yuan Feng

Publication date 2 December 2020

Full work available at URL https://doi.org/10.1017/9781108613323

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Quantum algorithms and complexity in the theory of computing (68Q12) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum computation (81P68)

Recommendations

• Automated equivalence checking of concurrent quantum systems
• scientific article; zbMATH DE number 5585443
• Model-checking linear-time properties of quantum systems
• Specification and verification of quantum protocols
• Model checking quantum Markov chains

Cited in

(10)

• Model checking for entanglement swapping
• Models in quantum computing: a systematic review
• Model checking quantum Markov chains
• Techniques for Formal Modelling and Analysis of Quantum Systems
• Model Checking for Verification of Quantum Circuits
• Foundations of quantum programming
• Quantum Büchi automata
• Checking continuous stochastic logic against quantum continuous-time Markov chains
• The quantum monadology
• Classical-quantum state quantum Markov chains and finiteness

This page was built for publication: Model checking quantum systems. Principles and algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5137359)