Non-linear loop invariant generation using Gröbner bases. Sankaranarayanan, S., Sipma, H., & Manna, Z. In Proceedings of Symposium on Principles of Programming Languages (POPL), pages 318-329, 2004.
Non-linear loop invariant generation using Gröbner bases [link]Paper  bibtex   
@inproceedings{ dblp3875695,
  title = {Non-linear loop invariant generation using Gröbner bases},
  author = {Sriram Sankaranarayanan and Henny Sipma and Zohar Manna},
  author_short = {Sankaranarayanan, S. and Sipma, H. and Manna, Z.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp3875695},
  id = {dblp3875695},
  biburl = {http://www.dblp.org/rec/bibtex/conf/popl/SankaranarayananSM04},
  url = {http://doi.acm.org/10.1145/964001.964028},
  conference = {POPL},
  pages = {318-329},
  text = {POPL 2004:318-329},
  booktitle = {Proceedings of Symposium on Principles of Programming Languages (POPL)}
}

Downloads: 0