Nonlinear invariants for linear loops and eigenpolynomials of linear operators

DOI10.1007/S10559-012-9406-YMaRDI QIDQ466366zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

• The structure of polynomial invariants of linear loops
• Polynomial invariants for linear loops
• Polynomial invariants by linear algebra
• Generating all polynomial invariants in simple loops
• Generating invariants for non-linear loops by linear algebraic methods

Cites work

• scientific article; zbMATH DE number 3736994 (Why is no real title available?)
• scientific article; zbMATH DE number 4113989 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• An axiomatic basis for computer programming
• Automatic Generation of Polynomial Loop Invariants
• Discovery of invariant equalities in programs over data fields
• Iterative methods of program analysis
• Polynomial invariants for linear loops
• Precise interprocedural analysis through linear algebra

Cited in

(4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466366)