Sharir–Pnueli–Hart Method

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