QbC: Quantum Correctness by Construction

Anurudh Peduri, Ina Schaefer, Michael Walter

Thanks to the rapid progress and growing complexity of quantum algorithms, correctness of quantum programs has become a major concern. Pioneering research over the past years has p…