Verification of Concurrent Quantum Protocols by Equivalence Checking
No abstract available.
DOI 10.1007/978-3-642-54862-8_42
Related papers
- Equivalence Checking of Quantum Protocols TACAS 2013
- Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs TACAS 2025
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Scalable Equivalence Checking and Verification of Shallow Quantum Circuits OOPSLA 2025
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting TACAS 2026
- Measurement-Based Verification of Quantum Markov Chains CAV 2024