@misc{indiciae34c2b9cd3aaa,
  title = {Formal Modeling and Verification of Grover's Algorithm},
  author = {H. Sun and Z. Shi and S. Chen and G. Wang and X. Li and Y. Guan and Q. Zhang and Z. Shao},
  year = {2026},
  url = {https://arxiv.org/abs/2601.02435},
  note = {Source identifier: 2601.02435}
}