Model Checking for Verification of Quantum Circuits

DOI10.1007/978-3-030-90870-6_2zbMath1521.68079MaRDI QIDQ6488458

Ming Sheng Ying

Publication date: 21 April 2023

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Model checking quantum Markov chains
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Improving gate-level simulation of quantum circuits
• The logic of quantum mechanics
• Reachability Probabilities of Quantum Markov Chains
• Reachability and Termination Analysis of Concurrent Quantum Programs
• Model-Checking Linear-Time Properties of Quantum Systems
• Specification of photonic circuits using quantum hardware description language
• (Un)decidable Problems about Reachability of Quantum Systems
• Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Model Checking Quantum Systems
• Invariants of quantum programs: characterisations and generation
• Quantum Markov chains
• Quantum feedback networks: Hamiltonian formulation

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