Formal verification of quantum programs: Theory, tools, and challenges
M Lewis, S Soudjani, P Zuliani - ACM Transactions on Quantum …, 2023 - dl.acm.org
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 …
academia and industry. At the current rate, quantum computers are growing in size rapidly …