Non-linear Loop Invariant Generation using Gröbner Bases (2004)

by Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna
Citations:40 - 4 self