20 citations · 31 across the 23 of their papers we have counts for
1 paper · 1 filter
Qiuye Wang, Lihong Zhi, Naijun Zhan +2
In this paper, we present a novel approach to synthesize invariant clusters for polynomial programs. An invariant cluster is a set of program invariants that share a common structu…