J un 2 01 1 Verification of Quantum Programs