Formal Modeling and Verification of Grover's Algorithm

H. Sun, Z. Shi, S. Chen +5

Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsort…