Witness to non-termination of linear programs

DOI10.1016/j.tcs.2017.03.036zbMath1371.68053OpenAlexW2604925741MaRDI QIDQ2357364

Yi Li

Publication date: 13 June 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.03.036

zbMATH Keywords

semialgebraic setsprogram terminationlinear loopswitness to non-termination

Mathematics Subject Classification ID

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

Related Items (1)

Termination of polynomial loops

Uses Software

• DISCOVERER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recent advances in program verification through computer algebra
• Symbolic decision procedure for termination of linear programs
• Termination of linear programs with nonlinear constraints
• Recent advances on determining the number of real roots of parametric polynomials
• A recursive decision method for termination of linear programs
• Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
• Computer Aided Verification
• On Termination of Integer Linear Loops
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Termination of Integer Linear Programs
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Witness to non-termination of linear programs