Formal verification of quantum algorithms using quantum Hoare logic

DOI10.1007/978-3-030-25543-5_12OpenAlexW2957722170MaRDI QIDQ6154880

Junyi Liu, Unnamed Author, Shu-Ling Wang, Shenggang Ying, Yangjia Li, Ming Sheng Ying, Bohua Zhan, Naijun Zhan

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25543-5_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Quantum algorithms and complexity in the theory of computing (68Q12) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (3)

Certified quantum computation in Isabelle/HOL ⋮ \textsf{symQV}: automated symbolic verification of quantum programs ⋮ A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL

This page was built for publication: Formal verification of quantum algorithms using quantum Hoare logic