Equivalence Checking of Quantum Protocols
No abstract available.
Related papers
- Verification of Concurrent Quantum Protocols by Equivalence Checking TACAS 2014
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs TACAS 2025
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Scalable Equivalence Checking and Verification of Shallow Quantum Circuits OOPSLA 2025
- Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting TACAS 2026
- Quokka#: Quantum Computing with #SAT CAV 2026
- Measurement-Based Verification of Quantum Markov Chains CAV 2024