What is it about?
It is important to check that the programs we provide for quantum computers perform as expected. Our work provides a survey of the current tools to verify the behaviour of programs for quantum computers, the factors that they need to consider and the challenges that future tools will need to address.
Featured Image
Photo by Ilya Pavlov on Unsplash
Why is it important?
There are several tools that verify quantum programs, each in their own unique way. For anyone looking to understand why verification is difficult and how to verify quantum computers, our survey provides an introduction to the tools and techniques out there. Further, it is important to highlight where current tools fail and what will need to be addressed as quantum computers become more and more advanced.
Perspectives
Verifying the behaviour of quantum computers is hard. It is important to look at the current verification techniques for classical programs to see if they can be adapted for quantum computers, but also to come up with new methods of verifying quantum programs.
Marco John Lewis
Newcastle University
Read the Original
This page is a summary of: Formal Verification of Quantum Programs: Theory, Tools and Challenges, ACM Transactions on Quantum Computing, October 2023, ACM (Association for Computing Machinery),
DOI: 10.1145/3624483.
You can read the full text:
Contributors
The following have contributed to this page
