Giallar: Push-Button Verification for the Qiskit Quantum Compiler

Runzhou Tao, Yunong Shi, Jianan Yao +5

This paper presents Giallar, a fully-automated verification toolkit for quantum compilers. Giallar requires no manual specifications, invariants, or proofs, and can automatically v…