@inproceedings{08e85ef794a64b1e86743e1b7d71cbad,
title = "Polynomial invariants by linear algebra",
abstract = "We present in this paper a new technique for generating polynomial invariants, divided in two independent parts: a procedure that reduces polynomial assignments composed loops analysis to linear loops under certain hypotheses and a procedure for generating inductive invariants for linear loops. Both of these techniques have a polynomial complexity for a bounded number of variables and we guarantee the completeness of the technique for a bounded degree which we successfully implemented for C programs verification.",
author = "\{de Oliveira\}, Steven and Saddek Bensalem and Virgile Prevosto",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016 ; Conference date: 17-10-2016 Through 20-10-2016",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-46520-3\_30",
language = "English",
isbn = "9783319465197",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "479--494",
editor = "Cyrille Artho and Doron Peled and Axel Legay",
booktitle = "Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings",
}