Formal Verification of Quantum Programs: Theory, Tools and Challenges
M. Lewis, S. Soudjani, P. ZulianiPublished in ACM Transactions of Quantum Computing, Just Accepted, 2023
PDF | DOI
Publications
Journals
Published in ACM Transactions of Quantum Computing, Just Accepted, 2023
PDF | DOI
Conferences
T-Count Optimizing Genetic Algorithm for Quantum State Preparation
M. Lewis, P. Zuliani, S. SoudjaniPublished in Quantum Software (QSW), 2024
PDF | DOI
Automated Verification of Silq Quantum Programs using SMT Solvers
M. Lewis, P. Zuliani, S. SoudjaniPublished in Quantum Software (QSW), 2024
PDF | DOI
Verification of Quantum Systems using Barrier Certificates
M. Lewis, P. Zuliani, S. SoudjaniPublished in Quantitative Evaluation of Systems (QEST), 2023
PDF | DOI