Paper: Verification of Quantum Programs

I'm of the opinion that formal verification of programs has a limited set of applications, in large part due to the "good enough" software principle. Nonetheless, it is nice to see work in the quantum programming area. Here's a just posted paper on arXiv: Verification of Quantum Programs by Ying, Yu, Feng, and Duan.