Towards The Correctness Of Quantum Program Implementation