Quantum Formal Verification