TY  - RPRT
TI  - Formal Modeling and Verification of Grover's Algorithm
AU  - H. Sun
AU  - Z. Shi
AU  - S. Chen
AU  - G. Wang
AU  - X. Li
AU  - Y. Guan
AU  - Q. Zhang
AU  - Z. Shao
PY  - 2026
UR  - https://arxiv.org/abs/2601.02435
ID  - 2601.02435
ER  -