The structure of polynomial invariants of linear loops

DOI10.1007/s10559-015-9736-7zbMath1327.68081OpenAlexW576027790MaRDI QIDQ891730

M. S. Lvov

Publication date: 17 November 2015

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

Full work available at URL: https://doi.org/10.1007/s10559-015-9736-7

zbMATH Keywords

loop invariantinvariant polynomiallinear loopstatic analysis of programs

Mathematics Subject Classification ID

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

Related Items (1)

A fast algorithm for computing multiplicative relations between the roots of a generic polynomial

Cites Work

• Nonlinear invariants for linear loops and eigenpolynomials of linear operators
• Automatic generation of polynomial invariants of bounded degree using abstract interpretation
• Discovery of invariant equalities in programs over data fields
• Computing polynomial program invariants
• Polynomial invariants for linear loops
• Non-linear loop invariant generation using Gröbner bases
• Precise interprocedural analysis through linear algebra
• Iterative methods of program analysis
• Automatic Generation of Polynomial Loop Invariants
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The structure of polynomial invariants of linear loops