Chapter 7: Verification of quantum programs
Abstract
This chapter describes an architecture of quantum program verifiers. Then several ideas and theoretical tools for scalable and efficient verification of quantum programs are presented, including proof localisation, Birkhoff–von Neumann quantum logic and symbolic reasoning.
Keywords
Quantum program verifier; Verification condition generation; Localisation; Assertion language; Birkhoff–von Neumann quantum logic; Effect calculus
The importance of verification of quantum programs was already pointed out in Section 1.1.3, and current approaches to it were also briefly discussed there. In the previous two chapters, we have defined syntax and semantics of sequential quantum programs, and developed a program ...
Get Foundations of Quantum Programming, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
