论文信息 - Non-linear Interpolant Generation and Its Applications to Program Verification - 字舞流文

Non-linear Interpolant Generation and Its Applications to Program Verification

Liyun Dai | Bican Xia | Naijun Zhan | Bow-Yaw Wang | Hengjun Zhao | Ting Gan

[1] Kwangkeun Yi,et al. Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference , 2012, Log. Methods Comput. Sci..

[2] Liyun Dai,et al. Generating Non-linear Interpolants by Semidefinite Programming , 2013, CAV.

[3] Soonho Kong,et al. Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates , 2010, APLAS.