Formal Verification of Quantum Programs: Theory, Tools and Challenges

10/04/2021
by   Marco Lewis, et al.
0

Over the past 27 years, quantum computing has seen a huge rise in interest from both academia and industry. At the current rate, quantum computers are growing in size rapidly backed up by the increase of research in the field. Significant efforts are being made to improve the reliability of quantum hardware and to develop suitable software to program quantum computers. In contrast, the verification of quantum programs has received relatively less attention. The importance of verifying programs is especially important in the quantum setting due to how difficult it is to program complex algorithms correctly on resource-constrained and error-prone quantum hardware. Research into creating verification frameworks for quantum programs has seen recent development, with a variety of tools implemented using a collection of theoretical ideas. This survey aims to be a short introduction into the area of formal verification of quantum programs, bringing together theory and tools developed to date. Further, this survey examines some of the challenges that the field may face in the future, namely the developments of complex quantum algorithms.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/14/2021

Formal Methods for Quantum Programs: A Survey

While recent progress in quantum hardware open the door for significant ...
10/23/2020

Achieving a quantum smart workforce

Interest in building dedicated Quantum Information Science and Engineeri...
04/04/2022

Evolution of Quantum Computing: A Systematic Survey on the Use of Quantum Computing Tools

Quantum Computing (QC) refers to an emerging paradigm that inherits and ...
07/31/2018

Toward Automatic Verification of Quantum Programs

This paper summarises the results obtained by the author and his collabo...
09/06/2021

Quantum Hoare Type Theory: Extended Abstract

As quantum computers become real, it is high time we come up with effect...
07/30/2020

Optimal Layout Synthesis for Quantum Computing

Recent years have witnessed the fast development of quantum computing. R...
10/19/2019

LRP2020: Astrostatistics in Canada

(Abridged from Executive Summary) This white paper focuses on the interd...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.