Model Checking for Verification of Quantum Circuits

DOI10.1007/978-3-030-90870-6_2MaRDI QIDQ6488458zbMATH OpenFDO

Authors Mingsheng Ying

Publication date 21 April 2023

Full work available at URL https://doi.org/10.1007/978-3-030-90870-6_2

Mathematics Subject Classification ID

Quantum logic (03G12) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum gates (81P65) Quantum computation (81P68)

Recommendations

• Property checking of quantum circuits using quantum multiple-valued decision diagrams
• Towards quantum programs verification: from Quipper circuits to QPMC
• Theoretical Aspects of Computing – ICTAC 2005
• Towards large-scale functional verification of universal quantum circuits

Cites work

• (Un)decidable Problems about Reachability of Quantum Systems
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• scientific article; zbMATH DE number 5708042 (Why is no real title available?)
• Improving gate-level simulation of quantum circuits
• Invariants of quantum programs: characterisations and generation
• Model checking quantum Markov chains
• Model checking quantum systems. Principles and algorithms
• Model-checking linear-time properties of quantum systems
• Property checking of quantum circuits using quantum multiple-valued decision diagrams
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Quantum feedback networks: Hamiltonian formulation
• Quantum Markov chains
• Reachability and termination analysis of concurrent quantum programs
• Reachability Probabilities of Quantum Markov Chains
• Specification of photonic circuits using quantum hardware description language
• The logic of quantum mechanics

Cited in

(6)

• Fast equivalence-checking for quantum circuits
• Towards large-scale functional verification of universal quantum circuits
• Property checking of quantum circuits using quantum multiple-valued decision diagrams
• Techniques for Formal Modelling and Analysis of Quantum Systems
• Quantum Büchi automata
• Classical-quantum state quantum Markov chains and finiteness

This page was built for publication: Model Checking for Verification of Quantum Circuits

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