Nonlinear invariants for linear loops and eigenpolynomials of linear operators

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

V. A. Kreknin, M. S. Lvov

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 analysisautomatic generation problemeigenpolynomial of a linear operatorpolynomial loop invariant

Mathematics Subject Classification ID

Numerical solutions to equations with linear operators (65J10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Analysis of linear definite iterative loops ⋮ The structure of polynomial invariants of linear loops ⋮ A method of proving the invariance of linear inequalities for linear loops

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Discovery of invariant equalities in programs over data fields
• Polynomial invariants for linear loops
• Precise interprocedural analysis through linear algebra
• Iterative methods of program analysis
• Automatic Generation of Polynomial Loop Invariants
• An axiomatic basis for computer programming

This page was built for publication: Nonlinear invariants for linear loops and eigenpolynomials of linear operators