Quantum algorithm verification: The process of checking that a quantum algorithm is correct and performs the intended computation.