基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,......

首先给出了量子最弱自由前置条件（weakest liberal precondition,简称wlp）wlp （A,B,C）-可交换的定义,研究了wlp （A,B,C）-可交换的充分必......