31 citations · 70 across the 19 of their papers we have counts for
1 paper · 1 filter
Marc Moreno Maza, Rong Xiao
This article focuses on automatically generating polynomial equations that are inductive loop invariants of computer programs. We propose a new algorithm for this task, which is ba…