April 2024
Intermediate to advanced
400 pages
21h 1m
English
In this chapter, we present several basic techniques for analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation. The mathematical tools employed in these techniques are introduced.
Transition systems; Invariants; Termination; Ranking function; Quantum graphs; Quantum Markov chains; Reachability; Abstract interpretation; Galois connection
Chapter 7 discussed some basic issues about verification of quantum programs using quantum Hoare logic established in Chapter 6. In this chapter, we turn to algorithmic analysis of the behaviours of quantum programs. This chapter focuses on static analysis of quantum programs – program analysis method ...