DeepAI AI Chat
Log In Sign Up

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

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 ...
12/17/2015

On A Testing and Implementation of Quantum Gate and Measurement Emulator (QGAME)

Today, people are looking forward to get an awesome computational power....
04/14/2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm

Quantum computing technology may soon deliver revolutionary improvements...
04/19/2021

When to Build Quantum Software?

Despite ongoing advancements in quantum computing, businesses are still ...
05/26/2020

The prospects of quantum computing in computational molecular biology

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