Formal reasoning about Bernstein-Vazirani algorithm

DOI10.1016/J.JLAMP.2025.101108MaRDI QIDQ6847671zbMATH OpenFDO

Authors Hongxia Sun, Zhiping Shi, Shanyan Chen, Guohui Wang, Ximeng Li, Yong Guan

Publication date 9 March 2026

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JLAMP.2025.101108

zbMATH Keywords

Bernstein-Vazirani algorithmformal verificationquantum algorithmtheorem prover

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A generalization of Bernstein-Vazirani algorithm with multiple secret keys and a probabilistic oracle
• An automated deductive verification framework for circuit-building quantum programs
• Certified quantum computation in Isabelle/HOL
• Formal verification of quantum algorithms using quantum Hoare logic
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• scientific article; zbMATH DE number 7699438 (Why is no real title available?)
• Quantum complexity theory
• Quantum cryptography, quantum communication, and quantum computer in a noisy environment
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Rapid solution of problems by quantum computation
• Verifying quantum communication protocols with ground bisimulation

This page was built for publication: Formal reasoning about Bernstein-Vazirani algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6847671)