Formal Methods for Quantum Programs: A Survey

09/14/2021
by   Christophe Chareton, et al.
0

While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum algorithms are still hard to implement right, and the validation of such quantum programs is achallenge. Moreover, importing the testing and debugging practices at use in classical programming is extremely difficult in the quantum case, due to the destructive aspect of quantum measurement. As an alternative strategy, formal methods are prone to play a decisive role in the emerging field of quantum software. Recent works initiate solutions for problems occurring at every stage of the development process: high-level program design, implementation, compilation, etc. We review the induced challenges for an efficient use of formal methods in quantum computing and the current most promising research directions.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/04/2021

Formal Verification of Quantum Programs: Theory, Tools and Challenges

Over the past 27 years, quantum computing has seen a huge rise in intere...
09/28/2020

Quantum Computing: A Taxonomy, Systematic Review and Future Directions

Quantum computing is an emerging paradigm with the potential to offer si...
03/12/2020

A Deductive Verification Framework for Circuit-building Quantum Programs

While recent progress in quantum hardware open the door for significant ...
05/26/2020

The prospects of quantum computing in computational molecular biology

Quantum computers can in principle solve certain problems exponentially ...
09/04/2021

A review of Quantum Neural Networks: Methods, Models, Dilemma

The rapid development of quantum computer hardware has laid the hardware...
03/15/2021

Efficient Construction of Functional Representations for Quantum Algorithms

Due to the significant progress made in the implementation of quantum ha...
07/30/2020

Optimal Layout Synthesis for Quantum Computing

Recent years have witnessed the fast development of quantum computing. R...
This week in AI

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