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