Nonlinear invariants for linear loops and eigenpolynomials of linear operators

DOI10.1007/s10559-012-9406-yzbMath1320.68056MaRDI QIDQ466366

M. S. Lvov, V. A. Kreknin

Publication date: 27 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-012-9406-y

zbMATH Keywords

static program analysis; automatic generation problem; eigenpolynomial of a linear operator; polynomial loop invariant

Mathematics Subject Classification ID

65J10: Numerical solutions to equations with linear operators

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)