Formal Verification For Cyclic Quantum Walk Circuits. - Benedicto James Sitou Campbell; Sudarshan K. Srinivasan (ISCAS, 2024)