University of Twente Student Theses
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.
Program verification for quantum algorithms
Bos, P. (2021) Program verification for quantum algorithms.
PDF
471kB |
Abstract: | Quantum computers are improving fast, with several companies now presenting quantum computers with dozens of qbits. As quantum computers will likely be scarce for the foreseeable future, the correctness of quantum programs is an important consideration. This research investigates a formal approach to the verification of quantum programs, and evaluates the usability of that approach. Three Hoare-style logics for quantum programs are discussed, and one is used for a case study. A proof of Shor's factoring algorithm is presented in the selected logic. We conclude that while the logic is usable and a proof can be completed, several avenues of improvement are possible. |
Item Type: | Essay (Master) |
Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
Subject: | 54 computer science |
Programme: | Computer Science MSc (60300) |
Link to this item: | https://purl.utwente.nl/essays/86508 |
Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Repository Staff Only: item control page