Contents

1 Introduction

2 General Background in Quantum Computing

3 General Background on Formal Methods

4 Overview of Formal Methods in Quantum Computing

5 Low-Level Verification: Compilation and Equivalence

6 Formal Quantum Programming Languages

7 High and Mid-Level Verification: Algorithms and Programs

8 Discussion and Bibliographical Notes

9 Conclusion