Formal Modeling and Verification of Grover's Algorithm. - Hongxia Sun; Zhiping Shi; Shanyan Chen; uohui Wang; Ximeng Li; Yong Guan; Qianying Zhang; Zhenzhou Shao (CoRR, 2026)