Synthesizing ranking functions for loop programs via SVM (Q2084940): Difference between revisions

@@ Property / author @@
-Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
-Normal rank
@@ Property / author @@
+Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPAchecker
@@ Property / describes a project that uses: CPAchecker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iRankFinder
@@ Property / describes a project that uses: iRankFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2022.07.002
+Normal rank
@@ Property / OpenAlex ID @@
+W4285097223
@@ Property / OpenAlex ID: W4285097223 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
+Normal rank
@@ Property / cites work @@
+Some efficient solutions to the affine scheduling problem. I: One- dimensional time
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804915
@@ Property / cites work: Q4804915 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Ranking Functions for Linear-Constraint Loops
@@ Property / cites work: Ranking Functions for Linear-Constraint Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Templates for Linear Loops
@@ Property / cites work: Ranking Templates for Linear Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On multiphase-linear ranking functions
@@ Property / cites work: On multiphase-linear ranking functions / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
+Normal rank
@@ Property / cites work @@
+Termination of polynomial loops
@@ Property / cites work: Termination of polynomial loops / rank @@
+Normal rank
@@ Property / cites work @@
+Support-vector networks
@@ Property / cites work: Support-vector networks / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Ranking for Linear Lasso Programs
@@ Property / cites work: Linear Ranking for Linear Lasso Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric nontermination arguments
@@ Property / cites work: Geometric nontermination arguments / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2084940