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

Yu-Fang Chen Kai-Min Chung Ondrej Lengál Jyun-Ao Lin Wei-Lun Tsai Di-De Yen

Published in: CoRR (2023)

Keyphrases

source code

software development