Invariants of quantum programs: characterisations and generation
Mingsheng Ying, Shenggang Ying, Xiaodi Wu · 2016
Program invariant is a fundamental notion widely used in program verification and analysis. The aim of this paper is twofold: (i) find an appropriate definition of invariants for quantum programs; and (ii) develop an effective technique of invariant generation for verification and analysis of quantum programs.