Embedding Quantum Program Verification into Dafny

Feifei Cheng, Sushen Vangeepuram, Henry Allard, Seyed Mohammad Reza Jafari, Alex Potanin, Liyi Li 0002. Embedding Quantum Program Verification into Dafny. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):2981-3007, 2025. [doi]

Abstract

Abstract is missing.