The combination of deep theoretical insights and practical tool development results in a milestone for quantum circuit verification. The framework leverages tree automata to compactly represent sets ...