QMC: A Model Checker for Quantum Systems
No abstract available.
Related papers
- QReach: A Reachability Analysis Tool for Quantum Markov Chains CAV 2024
- Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs TACAS 2025
- Quantum Probabilistic Model Checking for Time-Bounded Properties OOPSLA 2024
- Communicating quantum processes POPL 2005
- AccelerQ: Accelerating Quantum Eigensolvers with Machine Learning on Quantum Simulators OOPSLA 2025
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017
- Game semantics for quantum programming POPL 2019
- Structure and interpretation of quantum mechanics: a functional framework Haskell 2003