DeepAI AI Chat
Log In Sign Up

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.


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 ...

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

Today, people are looking forward to get an awesome computational power....

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

Quantum computing technology may soon deliver revolutionary improvements...

When to Build Quantum Software?

Despite ongoing advancements in quantum computing, businesses are still ...

The prospects of quantum computing in computational molecular biology

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