Symbolic Execution for Quantum Error Correction Programs.
Wang FangMingsheng YingPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- error correction
- symbolic execution
- test generation
- test data generation
- static analysis
- specification language
- source code
- error detection
- channel coding
- error correcting
- data flow
- data hiding
- error detection and correction
- channel capacity
- simulated annealing algorithm
- formal specification
- error control
- simulated annealing