arXiv 1904.04304
Verification Logics for Quantum Programs
By Robert Rand
Published 2019-04-08
Wiki summary
Explore the paper's summary, context, and related research on Papiers.
We survey the landscape of Hoare logics for quantum programs. We review three papers: "Reasoning about imperative quantum programs" by Chadha, Mateus and Sernadas; "A logic for formal verification of quantum programs" by Yoshihiko Kakutani; and "Floyd-hoare logic for quantum programs" by Mingsheng Ying. We compare the mathematical foundations of the logics, their underlying languages, and the expressivity of their a…