Towards Classical Software Verification using Quantum Computers - Issel, Sebastian (The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2025)