The structure of polynomial invariants of linear loops

DOI10.1007/S10559-015-9736-7zbMATH Open1327.68081OpenAlexW576027790MaRDI QIDQ891730FDOQ891730

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatic basis for computer programming
• 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
• Nonlinear invariants for linear loops and eigenpolynomials of linear operators
• Automatic generation of polynomial invariants of bounded degree using abstract interpretation

Cited In (4)

• A fast algorithm for computing multiplicative relations between the roots of a generic polynomial
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polynomial Invariants for Affine Programs

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

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