Crossmark

Weakest precondition calculus and relative completeness of satisfaction-based quantum Hoare logic

Crossref DOI link: https://doi.org/10.1007/s11128-026-05296-w

Published Online: 2026-07-28

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Sun, Xin https://orcid.org/0000-0001-9320-2522
Su, Xingchi

Bian, Xiaoning

Wu, Huiwen
License Information

Text and Data Mining valid from 2026-07-28

Version of Record valid from 2026-07-28
More Information

Article History

Received: 4 September 2025

Accepted: 14 July 2026

First Online: 28 July 2026

Declarations

Conflict of interest: The authors declare no conflict of interest.