[PDF] Symbolic Execution of Hadamard-To oli Quantum Circuits J Carette, G Ortiz, A Sabry - 2023 The simulation of quantum programs by classical computers is a critical endeavor for several reasons: it provides proof-of-concept validation of quantum algorithms; it provides opportunities to experiment with new programming abstractions suitable for … Symbolic Execution of Hadamard-Toffoli Quantum Circuits J Carette, G Ortiz, A Sabry - Proceedings of the 2023 ACM SIGPLAN International …, 2023 The simulation of quantum programs by classical computers is a critical endeavor for several reasons: it provides proof-of-concept validation of quantum algorithms; it provides opportunities to experiment with new programming abstractions suitable for …