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
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
Aligator: A Mathematica Package for Invariant Generation (System Description), Automated Reasoning, pp.275-282, 2008. ,
DOI : 10.1007/978-3-540-71070-7_22
Precise interprocedural analysis through linear algebra, ACM SIGPLAN Notices, vol.39, issue.1, pp.330-341, 2004. ,
DOI : 10.1145/982962.964029
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