Symbolic termination analysis of solvable loops

DOI10.1016/J.JSC.2012.05.005MaRDI QIDQ1930157zbMATH OpenOpenAlexFDO

Authors Ming Xu, Zhibin Li

Publication date 10 January 2013

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2012.05.005

zbMATH Keywords

symbolic computationprogram verificationquantifier eliminationtermination analysispolynomial loopsreal root bounds

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• TERMINATION ANALYSIS OF LINEAR LOOPS
• Verification, Model Checking, and Abstract Interpretation
• Termination of single-path polynomial loop programs
• Termination of polynomial loops
• Termination of semi-algebraic loop programs

Cited in

(19)

• Termination of single-path polynomial loop programs
• Proving termination of nonlinear command sequences
• Symbolic Loop Bound Computation for WCET Analysis
• Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
• scientific article; zbMATH DE number 6401180 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory
• Loop Summarization and Termination Analysis
• scientific article; zbMATH DE number 1953286 (Why is no real title available?)
• Measuring the constrained reachability in quantum Markov chains
• Verification, Model Checking, and Abstract Interpretation
• Termination of polynomial loops
• TERMINATOR
• Analyzing ultimate positivity for solvable systems
• Deciding conditional termination
• TERMINATION ANALYSIS OF LINEAR LOOPS
• Automated Technology for Verification and Analysis
• Discovering non-terminating inputs for multi-path polynomial programs
• Automatic complexity analysis of integer programs via triangular weakly non-linear loops
• Termination of semi-algebraic loop programs

This page was built for publication: Symbolic termination analysis of solvable loops

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