Non-linear loop invariant generation using Gröbner bases

By Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. ACM-SIGACT Symposium on Principles of Programming Languages, 2004

305 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/c3a1d7057c96551354f92c31c679fda53f19e5b3