基于QBF的循环不变式构造技术

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于QBF的循环不变式构造技术

陈石坤1，李舟军2

Constructing Program Invariants Based on QBF

CHEN Shikun1，LI Zhoujun2

J4 . 2010, (9): 76 -80 . DOI: 10.3969/j.issn.1007130X.2010.