An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)

Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál +3

We introduce a new paradigm for analysing and finding bugs in quantum circuits. In our approach, the problem is given by a triple $\{P\}C\{Q\}$ and the question is whether, giv…