An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

Open in new window