Verification

Refinement calculus of quantum programs with projective assertions
This paper presents a refinement calculus designed specifically for quantum programs, offering a structured approach to their …
Yuan Feng, Li Zhou, Yingte Xu, Xiaoquan Xu
引用 DOI URL
Verification of quantum programs
This paper develops verification methodology for quantum programs, and the contribution of the paper is two-fold. •Sharir, Pnueli and …
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
引用 DOI URL