Formal Methods for Quantum Programs: A Survey

by   Christophe Chareton, et al.

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.



There are no comments yet.


page 1

page 2

page 3

page 4


Formal Verification of Quantum Programs: Theory, Tools and Challenges

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

Quantum Computing: A Taxonomy, Systematic Review and Future Directions

Quantum computing is an emerging paradigm with the potential to offer si...

A Deductive Verification Framework for Circuit-building Quantum Programs

While recent progress in quantum hardware open the door for significant ...

The prospects of quantum computing in computational molecular biology

Quantum computers can in principle solve certain problems exponentially ...

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

The rapid development of quantum computer hardware has laid the hardware...

Efficient Construction of Functional Representations for Quantum Algorithms

Due to the significant progress made in the implementation of quantum ha...

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.