D. Cachera, T. Jensen, A. Jobin, and F. Kirchner, Inference of polynomial invariants for imperative programs: A farewell to Gr??bner bases, Science of Computer Programming, vol.93, pp.89-109, 2014.
DOI : 10.1016/j.scico.2014.02.028

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A software analysis perspective, Formal Aspects of Computing, vol.12, issue.1???2, pp.573-609, 2015.
DOI : 10.1007/s00165-014-0326-7

L. Kovács, Aligator: A Mathematica Package for Invariant Generation (System Description), Automated Reasoning, pp.275-282, 2008.
DOI : 10.1007/978-3-540-71070-7_22

M. Müller-olm and H. Seidl, Precise interprocedural analysis through linear algebra, ACM SIGPLAN Notices, vol.39, issue.1, pp.330-341, 2004.
DOI : 10.1145/982962.964029

E. Rodríguez-carbonell and D. Kapur, Generating all polynomial invariants in simple loops, Journal of Symbolic Computation, vol.42, issue.4, pp.443-476, 2007.
DOI : 10.1016/j.jsc.2007.01.002