Discovering non-terminating inputs for multi-path polynomial programs (Q2341594): Difference between revisions

@@ Property / cites work @@
+Recent advances in program verification through computer algebra
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Termination of Integer Linear Programs
@@ Property / cites work: Termination of Integer Linear Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation for Termination
@@ Property / cites work: Alternation for Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Termination of linear programs with nonlinear constraints
+Normal rank
@@ Property / cites work @@
+Symbolic decision procedure for termination of linear programs
+Normal rank
@@ Property / cites work @@
+TERMINATION ANALYSIS OF LINEAR LOOPS
@@ Property / cites work: TERMINATION ANALYSIS OF LINEAR LOOPS / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic termination analysis of solvable loops
@@ Property / cites work: Symbolic termination analysis of solvable loops / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Conditional Termination
@@ Property / cites work: Proving Conditional Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Computing polynomial program invariants
@@ Property / cites work: Computing polynomial program invariants / rank @@
+Normal rank
@@ Property / cites work @@
+A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
+Normal rank
@@ Property / cites work @@
+Generating all polynomial invariants in simple loops
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About P-Solvable Loops
@@ Property / cites work: Reasoning Algebraically About P-Solvable Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
+Normal rank
@@ Property / cites work @@
+Proving non-termination
@@ Property / cites work: Proving non-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Non-termination Checking for Imperative Programs
@@ Property / cites work: Non-termination Checking for Imperative Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Finding positively invariant sets of a class of nonlinear loops via curve fitting
+Normal rank
@@ Property / cites work @@
+Q3413659
@@ Property / cites work: Q3413659 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for isolating the real solutions of semi-algebraic systems
+Normal rank
@@ Property / cites work @@
+Membership in polynomial ideals over Q is exponential space complete
+Normal rank