Towards Classical Software Verification using Quantum Computers
The research explores using quantum computing to speed up checking classical software for common errors like null pointers. It converts verification problems into optimization tasks solvable by quantum devices, aiming for faster verification through algorithms like VQE and QAOA. While theoretically sound, current hardware experiments show only probabilistic certification due to noise and resource limitations.