Image Computation for Quantum Transition Systems

Xin Hong, Dingchao Gao, Sanjiang Li +2

With the rapid progress in quantum hardware and software, the need for verification of quantum systems becomes increasingly crucial. While model checking is a dominant and very suc…