Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)

Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen +5

We present a new method for the verification of quantum circuits based on a novel symbolic representation of sets of quantum states using level-synchronized tree automata (LSTAs).…