16 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 2 cited
Generating Non-Linear Interpolants by Semidefinite Programming
Liyun Dai, Bican Xia, Naijun Zhan
Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose ha…
cs.SC2011★ 16 cited
Computing Semi-algebraic Invariants for Polynomial Dynamical Systems
Jiang Liu, Naijun Zhan, Hengjun Zhao
In this paper, we consider an extended concept of invariant for polynomial dynamical system (PDS) with domain and initial condition, and establish a sound and complete criterion fo…