Proof Rules

Proof rules for the correctness of quantum programs

We apply the notion of quantum predicate proposed by D’Hondt and Panangaden to analyze a simple language fragment which may describe …

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying