Nonlinear invariants for linear loops and eigenpolynomials of linear operators

DOI10.1007/S10559-012-9406-YzbMATH Open1320.68056OpenAlexW2032513864MaRDI QIDQ466366FDOQ466366

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

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

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)

Cites Work

• Title not available (Why is that?)
• An axiomatic basis for computer programming
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• 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

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)