清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Inductive Assertions
Invariants of quantum programs: characterisations and generation
Program invariant is a fundamental notion widely used in program verification and analysis. The aim of this paper is twofold: (i) find …
Mingsheng Ying
,
Shenggang Ying
,
Xiaodi Wu
引用
DOI
URL
Invariants of quantum programs: characterisations and generation
Program invariant is a fundamental notion widely used in program verification and analysis. The aim of this paper is twofold: (i) find …
Mingsheng Ying
,
Shenggang Ying
,
Xiaodi Wu
引用
DOI
URL
引用
×