Symbolic Execution of Hadamard-Toffoli Quantum Circuits.

Jacques Carette Gerardo Ortiz Amr Sabry

Published in: PEPM@POPL (2023)

Keyphrases

symbolic execution
quantum computing
logic circuits
static analysis
logic synthesis
test data generation
test generation
source code
specification language
low power
data flow
quantum mechanics
test cases
decision trees
description language
building blocks
search algorithm
training data