Үүнийг мессежээр илгээх: Towards Classical Software Verification using Quantum Computers