Formal verification of quantum algorithms using quantum Hoare logic

DOI10.1007/978-3-030-25543-5_12MaRDI 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)

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q12: Quantum algorithms and complexity in the theory of computing

68V20: Formalization of mathematics in connection with theorem provers

Related Items

Certified quantum computation in Isabelle/HOL